Trace number 278129

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.09 2405.13

General information on the benchmark

NameMaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1700-341821_ext.xml
MD5SUM35492032a20db64b0cb7c663c21cea73
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1424
Best CPU time to get the best result obtained on this benchmark103.976
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1552
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1552
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/278129-1169275907/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.39	       =>  wckTime=0.086  cpuTime=0.07  mem=6M910
0.39	   
0.39	   relations being loaded...
0.41	   
0.41	   constraints being loaded...
0.63	     nbConstraints=1552  nbRelationTypes=41  nbExtensionStructures=41  nbSharedExtensionStructures=1511
0.63	     nbConflictsStructures=41  nbSharedConflictsStructures=1511  nbSharedBinaryRepresentations=0  maxDegree=140
0.63	     maxArity=3
0.63	       =>  wckTime=0.328  cpuTime=0.19  mem=11M786
0.68	   
0.68	   solver LocalSearchSolver being built... 
0.72	       =>  wckTime=0.413  cpuTime=0.23  mem=6M187
0.72	
0.72	s SATISFIABLE
0.72	o 1367
0.72	c 185
0.73	o 1372
0.73	c 180
0.73	o 1385
0.73	c 167
0.73	o 1390
0.73	c 162
0.73	o 1399
0.73	c 153
0.73	o 1405
0.73	c 147
0.73	o 1408
0.73	c 144
0.73	o 1409
0.73	c 143
0.83	o 1410
0.83	c 142
0.83	o 1414
0.83	c 138
0.83	o 1417
0.83	c 135
1.02	o 1421
1.02	c 131
1.22	o 1422
1.22	c 130
3.71	o 1423
3.71	c 129
5.95	   
5.95	   search
5.95	     run=0  nbConstraintChecks=33937374  nbAssignments=10000
5.95	       =>  wckTime=5.231  cpuTime=5.19  mem=6M187
11.18	   
11.18	   search
11.18	     run=1  nbConstraintChecks=68858857  nbAssignments=20000
11.18	       =>  wckTime=10.458  cpuTime=10.39  mem=6M187
16.31	   
16.31	   search
16.31	     run=2  nbConstraintChecks=102803134  nbAssignments=30000
16.31	       =>  wckTime=15.594  cpuTime=15.51  mem=6M187
17.62	o 1424
17.62	c 128
21.59	   
21.59	   search
21.59	     run=3  nbConstraintChecks=137655921  nbAssignments=40000
21.59	       =>  wckTime=20.874  cpuTime=20.76  mem=6M187
26.68	   
26.68	   search
26.68	     run=4  nbConstraintChecks=171516979  nbAssignments=50000
26.68	       =>  wckTime=25.961  cpuTime=25.81  mem=6M187
31.91	   
31.91	   search
31.91	     run=5  nbConstraintChecks=206362608  nbAssignments=60000
31.91	       =>  wckTime=31.188  cpuTime=31.01  mem=6M187
37.02	   
37.02	   search
37.02	     run=6  nbConstraintChecks=240191533  nbAssignments=70000
37.02	       =>  wckTime=36.304  cpuTime=36.11  mem=6M187
42.29	   
42.29	   search
42.29	     run=7  nbConstraintChecks=275116630  nbAssignments=80000
42.29	       =>  wckTime=41.567  cpuTime=41.35  mem=6M187
47.36	   
47.36	   search
47.36	     run=8  nbConstraintChecks=308959283  nbAssignments=90000
47.36	       =>  wckTime=46.644  cpuTime=46.4  mem=6M187
47.75	   
47.75	   search
47.75	     run=9  nbConstraintChecks=311557797  nbAssignments=90746
47.75	       =>  wckTime=47.036  cpuTime=46.8  mem=6M187
47.76	   
47.76	   global
47.76	     nbConstraintChecks=311557797  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.76	     solvingWckTime=47.035  solvingCpuTime=46.8  expiredTime=no  totalExploration=no  nbFoundSolutions=0
47.76	     globalCpuTime=47.08
47.76	       =>  wckTime=47.45  cpuTime=47.03  mem=6M187
47.76	   
47.76	   solver IterativeSystematicSolver being built... 
47.93	       =>  wckTime=47.624  cpuTime=47.16  mem=24M986
47.95	   
47.95	   preprocessing
47.95	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
47.95	     detectedInconsistency=no
47.95	       =>  wckTime=0.016  cpuTime=0.01  mem=24M986
48.06	   
48.06	   search
48.06	     run=0  nbConstraintChecks=26509  nbValidityChecks=64663  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.06	     nbAssignments=39  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=56  nbRestartNogoods=0
48.06	       =>  wckTime=0.13  cpuTime=0.09  mem=25M977
48.18	   
48.18	   search
48.18	     run=1  nbConstraintChecks=62622  nbValidityChecks=171014  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.18	     nbAssignments=88  nbFailedAssignments=19  nbBacktracks=25  nbVisitedNodes=133  nbRestartNogoods=2
48.18	       =>  wckTime=0.252  cpuTime=0.2  mem=25M977
48.33	   
48.33	   search
48.33	     run=2  nbConstraintChecks=119208  nbValidityChecks=338500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.33	     nbAssignments=151  nbFailedAssignments=39  nbBacktracks=48  nbVisitedNodes=239  nbRestartNogoods=5
48.33	       =>  wckTime=0.396  cpuTime=0.34  mem=25M977
48.49	   
48.49	   search
48.49	     run=3  nbConstraintChecks=183225  nbValidityChecks=540272  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.49	     nbAssignments=224  nbFailedAssignments=58  nbBacktracks=81  nbVisitedNodes=364  nbRestartNogoods=6
48.49	       =>  wckTime=0.556  cpuTime=0.5  mem=25M977
48.78	   
48.78	   search
48.78	     run=4  nbConstraintChecks=294063  nbValidityChecks=894683  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.78	     nbAssignments=340  nbFailedAssignments=104  nbBacktracks=131  nbVisitedNodes=576  nbRestartNogoods=8
48.78	       =>  wckTime=0.849  cpuTime=0.79  mem=25M977
49.16	   
49.16	   search
49.16	     run=5  nbConstraintChecks=447572  nbValidityChecks=1380427  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.16	     nbAssignments=491  nbFailedAssignments=157  nbBacktracks=208  nbVisitedNodes=857  nbRestartNogoods=10
49.16	       =>  wckTime=1.227  cpuTime=1.17  mem=25M977
49.77	   
49.77	   search
49.77	     run=6  nbConstraintChecks=687946  nbValidityChecks=2182227  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.77	     nbAssignments=721  nbFailedAssignments=253  nbBacktracks=322  nbVisitedNodes=1297  nbRestartNogoods=12
49.77	       =>  wckTime=1.84  cpuTime=1.78  mem=25M977
50.64	   
50.64	   search
50.64	     run=7  nbConstraintChecks=1029153  nbValidityChecks=3315529  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.64	     nbAssignments=1049  nbFailedAssignments=391  nbBacktracks=492  nbVisitedNodes=1933  nbRestartNogoods=16
50.64	       =>  wckTime=2.707  cpuTime=2.64  mem=25M977
51.82	   
51.82	   search
51.82	     run=8  nbConstraintChecks=1521521  nbValidityChecks=4891784  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.82	     nbAssignments=1496  nbFailedAssignments=560  nbBacktracks=749  nbVisitedNodes=2806  nbRestartNogoods=20
51.82	       =>  wckTime=3.888  cpuTime=3.81  mem=25M977
53.86	   
53.86	   search
53.86	     run=9  nbConstraintChecks=2260985  nbValidityChecks=7513088  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
53.86	     nbAssignments=2208  nbFailedAssignments=868  nbBacktracks=1133  nbVisitedNodes=4210  nbRestartNogoods=25
53.86	       =>  wckTime=5.934  cpuTime=5.83  mem=25M977
56.59	   
56.59	   search
56.59	     run=10  nbConstraintChecks=3382257  nbValidityChecks=11158228  nbPropagations=0  nbRevisions=0
56.59	     nbUselessRevisions=0  nbAssignments=3210  nbFailedAssignments=1273  nbBacktracks=1709  nbVisitedNodes=6193
56.59	     nbRestartNogoods=29
56.59	       =>  wckTime=8.659  cpuTime=8.54  mem=25M977
61.08	   
61.08	   search
61.08	     run=11  nbConstraintChecks=4886888  nbValidityChecks=16678101  nbPropagations=0  nbRevisions=0
61.08	     nbUselessRevisions=0  nbAssignments=4718  nbFailedAssignments=1897  nbBacktracks=2573  nbVisitedNodes=9189
61.09	     nbRestartNogoods=32
61.09	       =>  wckTime=13.155  cpuTime=13.02  mem=25M977
67.87	   
67.88	   search
67.88	     run=12  nbConstraintChecks=7269755  nbValidityChecks=25415696  nbPropagations=0  nbRevisions=0
67.88	     nbUselessRevisions=0  nbAssignments=7022  nbFailedAssignments=2886  nbBacktracks=3870  nbVisitedNodes=13779
67.88	     nbRestartNogoods=36
67.88	       =>  wckTime=19.945  cpuTime=19.76  mem=25M977
78.55	   
78.55	   search
78.55	     run=13  nbConstraintChecks=10667442  nbValidityChecks=38438514  nbPropagations=0  nbRevisions=0
78.55	     nbUselessRevisions=0  nbAssignments=10470  nbFailedAssignments=4373  nbBacktracks=5817  nbVisitedNodes=20661
78.55	     nbRestartNogoods=42
78.55	       =>  wckTime=30.618  cpuTime=30.38  mem=25M977
94.36	   
94.36	   search
94.36	     run=14  nbConstraintChecks=16017116  nbValidityChecks=58481704  nbPropagations=0  nbRevisions=0
94.36	     nbUselessRevisions=0  nbAssignments=15727  nbFailedAssignments=6691  nbBacktracks=8736  nbVisitedNodes=31155
94.36	     nbRestartNogoods=49
94.37	       =>  wckTime=46.435  cpuTime=46.14  mem=25M977
119.49	   
119.49	   search
119.49	     run=15  nbConstraintChecks=23620664  nbValidityChecks=88619085  nbPropagations=0  nbRevisions=0
119.49	     nbUselessRevisions=0  nbAssignments=23702  nbFailedAssignments=10271  nbBacktracks=13114  nbVisitedNodes=47079
119.49	     nbRestartNogoods=54
119.49	       =>  wckTime=71.56  cpuTime=71.14  mem=25M977
155.79	   
155.79	   search
155.79	     run=16  nbConstraintChecks=35371808  nbValidityChecks=134841438  nbPropagations=0  nbRevisions=0
155.79	     nbUselessRevisions=0  nbAssignments=35611  nbFailedAssignments=15596  nbBacktracks=19682  nbVisitedNodes=70868
155.79	     nbRestartNogoods=60
155.80	       =>  wckTime=107.865  cpuTime=107.27  mem=25M977
210.80	   
210.80	   search
210.80	     run=17  nbConstraintChecks=52349151  nbValidityChecks=203195961  nbPropagations=0  nbRevisions=0
210.80	     nbUselessRevisions=0  nbAssignments=53043  nbFailedAssignments=23158  nbBacktracks=29534  nbVisitedNodes=105702
210.80	     nbRestartNogoods=69
210.80	       =>  wckTime=162.871  cpuTime=162.02  mem=25M977
291.36	   
291.36	   search
291.36	     run=18  nbConstraintChecks=77968909  nbValidityChecks=304879196  nbPropagations=0  nbRevisions=0
291.36	     nbUselessRevisions=0  nbAssignments=78930  nbFailedAssignments=34247  nbBacktracks=44312  nbVisitedNodes=157448
291.36	     nbRestartNogoods=76
291.36	       =>  wckTime=243.429  cpuTime=242.19  mem=25M977
414.42	   
414.42	   search
414.42	     run=19  nbConstraintChecks=115948329  nbValidityChecks=456034335  nbPropagations=0  nbRevisions=0
414.42	     nbUselessRevisions=0  nbAssignments=118263  nbFailedAssignments=51394  nbBacktracks=66480  nbVisitedNodes=235954
414.42	     nbRestartNogoods=81
414.42	       =>  wckTime=366.492  cpuTime=364.7  mem=25M977
602.72	   
602.72	   search
602.72	     run=20  nbConstraintChecks=172189932  nbValidityChecks=685661778  nbPropagations=0  nbRevisions=0
602.72	     nbUselessRevisions=0  nbAssignments=177842  nbFailedAssignments=77702  nbBacktracks=99733  nbVisitedNodes=354749
602.72	     nbRestartNogoods=88
602.72	       =>  wckTime=554.793  cpuTime=551.98  mem=25M977
876.66	   
876.66	   search
876.66	     run=21  nbConstraintChecks=259581975  nbValidityChecks=1031457714  nbPropagations=0  nbRevisions=0
876.66	     nbUselessRevisions=0  nbAssignments=267064  nbFailedAssignments=117027  nbBacktracks=149611  nbVisitedNodes=532661
876.66	     nbRestartNogoods=95
876.66	       =>  wckTime=828.733  cpuTime=825.52  mem=25M977
1283.46	   
1283.46	   search
1283.46	     run=22  nbConstraintChecks=391520018  nbValidityChecks=1529644329  nbPropagations=0  nbRevisions=0
1283.46	     nbUselessRevisions=0  nbAssignments=401644  nbFailedAssignments=176773  nbBacktracks=224429  nbVisitedNodes=801092
1283.46	     nbRestartNogoods=101
1283.46	       =>  wckTime=1235.527  cpuTime=1231.87  mem=25M977
1855.90	   
1855.90	   search
1855.90	     run=23  nbConstraintChecks=595022981  nbValidityChecks=2247368813  nbPropagations=0  nbRevisions=0
1855.90	     nbUselessRevisions=0  nbAssignments=601301  nbFailedAssignments=264185  nbBacktracks=336656  nbVisitedNodes=1197764
1855.90	     nbRestartNogoods=105
1855.91	       =>  wckTime=1807.974  cpuTime=1803.71  mem=25M977
2405.07	v 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1

Verifier Data (download as text)

128 unsatisfied constraints, 1424 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-278129-1169275907 -o ROOT/results/node11/solver-278129-1169275907 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278129-1169275907/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.00 1.00 1.08 5/82 19383
/proc/meminfo: memFree=1281816/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=1784 CPUtime=0
/proc/19382/stat : 19382 (java) D 19377 19382 19244 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 275985718 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19382/statm: 446 136 102 14 0 91 0

[startup+0.108407 s]
/proc/loadavg: 1.00 1.00 1.08 5/82 19383
/proc/meminfo: memFree=1281816/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=914988 CPUtime=0.08
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 3002 0 1 0 7 1 0 0 17 0 8 0 275985718 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8445569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19382/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516481 s]
/proc/loadavg: 1.00 1.00 1.08 5/82 19383
/proc/meminfo: memFree=1281816/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915332 CPUtime=0.49
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 6481 0 1 0 45 4 0 0 19 0 8 0 275985718 937299968 6220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228833 6220 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33965 s]
/proc/loadavg: 1.08 1.02 1.08 3/95 19417
/proc/meminfo: memFree=1258672/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=1.31
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 8028 0 1 0 121 10 0 0 25 0 8 0 275985718 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 7766 2473 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 275985723 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.18
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 368 0 0 0 17 1 0 0 16 0 8 0 275985726 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444

[startup+2.97997 s]
/proc/loadavg: 1.08 1.02 1.08 3/95 19417
/proc/meminfo: memFree=1258672/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2.94
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 8034 0 1 0 270 24 0 0 25 0 8 0 275985718 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 7771 2475 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.19
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 275985726 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 7771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.27363 s]
/proc/loadavg: 1.08 1.02 1.08 3/95 19417
/proc/meminfo: memFree=1258672/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=6.22
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 8037 0 1 0 572 50 0 0 25 0 8 0 275985718 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 7774 2475 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.19
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444

[startup+12.7529 s]
/proc/loadavg: 1.22 1.05 1.09 3/95 19417
/proc/meminfo: memFree=1258696/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=12.68
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 8037 0 1 0 1172 96 0 0 25 0 8 0 275985718 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 7774 2475 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.19
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444

[startup+25.6025 s]
/proc/loadavg: 1.34 1.08 1.10 3/94 19418
/proc/meminfo: memFree=1257808/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=25.45
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 8037 0 1 0 2352 193 0 0 25 0 8 0 275985718 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 7774 2475 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.19
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444

[startup+51.2256 s]
/proc/loadavg: 1.60 1.17 1.13 3/94 19418
/proc/meminfo: memFree=1244944/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=50.96
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11355 0 1 0 4737 359 0 0 25 0 8 0 275985718 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11090 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.27
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 424 0 0 0 26 1 0 0 15 0 8 0 275985726 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915444

[startup+102.459 s]
/proc/loadavg: 1.82 1.29 1.17 3/94 19418
/proc/meminfo: memFree=1244880/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=101.96
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11388 0 1 0 9836 360 0 0 25 0 8 0 275985718 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033661 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11120 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915444

[startup+162.535 s]
/proc/loadavg: 1.93 1.42 1.22 3/94 19418
/proc/meminfo: memFree=1244880/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=161.75
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11393 0 1 0 15815 360 0 0 25 0 8 0 275985718 937414656 11125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2019.35
Current children cumulated vsize (KiB) 915444

[startup+2084.01 s]
/proc/loadavg: 2.03 2.01 1.88 3/94 19813
/proc/meminfo: memFree=1232464/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2079.34
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 207554 380 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2079.34
Current children cumulated vsize (KiB) 915444

[startup+2144.04 s]
/proc/loadavg: 2.01 2.01 1.88 3/94 19813
/proc/meminfo: memFree=1232400/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2139.29
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 213549 380 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2139.29
Current children cumulated vsize (KiB) 915444

[startup+2204.06 s]
/proc/loadavg: 2.00 2.00 1.89 3/94 19813
/proc/meminfo: memFree=1232464/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2199.24
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 219544 380 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.24
Current children cumulated vsize (KiB) 915444

[startup+2264.09 s]
/proc/loadavg: 2.00 2.00 1.89 3/94 19813
/proc/meminfo: memFree=1232400/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2259.22
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 225542 380 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.22
Current children cumulated vsize (KiB) 915444

[startup+2324.13 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 19813
/proc/meminfo: memFree=1232464/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2319.18
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 231538 380 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2319.18
Current children cumulated vsize (KiB) 915444

[startup+2384.17 s]
/proc/loadavg: 2.00 2.00 1.91 4/94 19813
/proc/meminfo: memFree=1232464/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2379.15
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 237534 381 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.15
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.06 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19813
/proc/meminfo: memFree=1232464/2055920 swapFree=4171812/4192956
[pid=19382] ppid=19377 vsize=915444 CPUtime=2400.02
/proc/19382/stat : 19382 (java) R 19377 19382 19244 0 -1 0 11413 0 1 0 239621 381 0 0 25 0 8 0 275985718 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19382/statm: 228861 11145 2529 14 0 215331 0
[pid=19382/tid=19387] ppid=19377 vsize=915444 CPUtime=0.03
/proc/19382/task/19387/stat : 19387 (java) S 19377 19382 19244 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19388] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19388/stat : 19388 (java) S 19377 19382 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19389] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19389/stat : 19389 (java) S 19377 19382 19244 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275985723 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19390] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19390/stat : 19390 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19391] ppid=19377 vsize=915444 CPUtime=0.3
/proc/19382/task/19391/stat : 19391 (java) S 19377 19382 19244 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19382/tid=19392] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19392/stat : 19392 (java) S 19377 19382 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19382/tid=19393] ppid=19377 vsize=915444 CPUtime=0
/proc/19382/task/19393/stat : 19393 (java) S 19377 19382 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275985726 937414656 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2405.13
CPU time (s): 2400.09
CPU user time (s): 2396.27
CPU system time (s): 3.81942
CPU usage (%): 99.7905
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.27
system time used= 3.81942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11435
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50013
involuntary context switches= 73068

runsolver used 3.22551 s user time and 7.42887 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan 20 06:51:47 UTC 2007


IDJOB= 278129
IDBENCH= 8055
IDSOLVER= 69
FILE ID= node11/278129-1169275907

PBS_JOBID= 3609475

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1700-341821_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278129-1169275907/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-278129-1169275907 -o ROOT/results/node11/solver-278129-1169275907 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278129-1169275907/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35492032a20db64b0cb7c663c21cea73

RANDOM SEED= 596128272

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1282312 kB
Buffers:         63824 kB
Cached:         588120 kB
SwapCached:       2828 kB
Active:         227288 kB
Inactive:       467020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1282312 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            4476 kB
Writeback:           0 kB
Mapped:          59376 kB
Slab:            64164 kB
Committed_AS:  8363008 kB
PageTables:       2208 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node11 on Sat Jan 20 07:31:52 UTC 2007