Trace number 216253

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
Abscon 109 ESAC? (TO) 1800.11 1808.78

General information on the benchmark

NamepseudoSeries/ppp/
ppp-1-3-13-19.xml
MD5SUMae758250d0e2faa1c8e5e6e4d17f9606
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark225.74
SatisfiableYES
(Un)Satisfiability was proved
Number of variables4608
Number of constraints30522
Maximum constraint arity29
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension30522
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/216253-1168239481/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.58	     nbVariables=4608  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.58	       =>  wckTime=0.27  cpuTime=0.19  mem=13M728
0.58	   
0.58	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
4.65	     nbConstraints=30348  nbMergedConstraints=174  nbConflictsStructures=4  nbSharedConflictsStructures=30266
4.65	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  nbEvaluationManagers=9
4.65	     nbSharedEvaluationManagers=30339  maxDegree=31  maxArity=29
4.65	       =>  wckTime=4.337  cpuTime=3.75  mem=78M248
4.92	   
4.92	   solver IterativeSystematicSolver being built... 
5.85	       =>  wckTime=5.539  cpuTime=4.42  mem=67M183
22.86	   
22.86	   preprocessing
22.86	     nbConstraintChecks=42432  nbValidityChecks=87703  nbPropagations=9398  nbRevisions=81777  nbUselessRevisions=81695
22.86	     nbSingletonTests=4716  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
22.86	       =>  wckTime=17.005  cpuTime=16.81  mem=70M241
24.06	   
24.06	   search
24.06	     run=0  nbConstraintChecks=2670  nbValidityChecks=51497  nbPropagations=10458  nbRevisions=114241
24.06	     nbUselessRevisions=114088  nbAssignments=1006  nbFailedAssignments=2  nbBacktracks=13  nbVisitedNodes=1011
24.06	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
24.06	       =>  wckTime=18.21  cpuTime=18.0  mem=72M280
24.78	   
24.78	   search
24.78	     run=1  nbConstraintChecks=3752  nbValidityChecks=83402  nbPropagations=21577  nbRevisions=248323
24.78	     nbUselessRevisions=247940  nbAssignments=1607  nbFailedAssignments=4  nbBacktracks=29  nbVisitedNodes=1616
24.78	     nbRestartNogoods=1  mapSize=6  nbInferences=0  nbTooLargeKeys=0
24.78	       =>  wckTime=18.931  cpuTime=18.7  mem=72M280
25.22	   
25.22	   search
25.22	     run=2  nbConstraintChecks=9330  nbValidityChecks=101621  nbPropagations=33137  nbRevisions=393659
25.22	     nbUselessRevisions=392931  nbAssignments=1956  nbFailedAssignments=7  nbBacktracks=65  nbVisitedNodes=1971
25.22	     nbRestartNogoods=2  mapSize=11  nbInferences=0  nbTooLargeKeys=0
25.22	       =>  wckTime=19.366  cpuTime=19.12  mem=73M299
25.33	   
25.33	   search
25.33	     run=3  nbConstraintChecks=13917  nbValidityChecks=103780  nbPropagations=44886  nbRevisions=540152
25.33	     nbUselessRevisions=538940  nbAssignments=2035  nbFailedAssignments=12  nbBacktracks=103  nbVisitedNodes=2060
25.33	     nbRestartNogoods=3  mapSize=20  nbInferences=0  nbTooLargeKeys=0
25.33	       =>  wckTime=19.473  cpuTime=19.23  mem=73M299
25.46	   
25.46	   search
25.46	     run=4  nbConstraintChecks=14599  nbValidityChecks=106280  nbPropagations=56922  nbRevisions=687948
25.46	     nbUselessRevisions=686033  nbAssignments=2139  nbFailedAssignments=22  nbBacktracks=158  nbVisitedNodes=2184
25.46	     nbRestartNogoods=4  mapSize=38  nbInferences=0  nbTooLargeKeys=0
25.46	       =>  wckTime=19.601  cpuTime=19.35  mem=73M299
25.62	   
25.62	   search
25.62	     run=5  nbConstraintChecks=15439  nbValidityChecks=109497  nbPropagations=69342  nbRevisions=837429
25.62	     nbUselessRevisions=834515  nbAssignments=2273  nbFailedAssignments=36  nbBacktracks=238  nbVisitedNodes=2346
25.62	     nbRestartNogoods=6  mapSize=64  nbInferences=0  nbTooLargeKeys=0
25.62	       =>  wckTime=19.765  cpuTime=19.52  mem=73M299
25.83	   
25.83	   search
25.83	     run=6  nbConstraintChecks=16541  nbValidityChecks=113620  nbPropagations=82270  nbRevisions=989079
25.83	     nbUselessRevisions=984772  nbAssignments=2445  nbFailedAssignments=55  nbBacktracks=351  nbVisitedNodes=2556
25.83	     nbRestartNogoods=8  mapSize=100  nbInferences=0  nbTooLargeKeys=0
25.83	       =>  wckTime=19.975  cpuTime=19.72  mem=73M299
26.11	   
26.11	   search
26.11	     run=7  nbConstraintChecks=18015  nbValidityChecks=119049  nbPropagations=95885  nbRevisions=1143597
26.11	     nbUselessRevisions=1137362  nbAssignments=2671  nbFailedAssignments=81  nbBacktracks=521  nbVisitedNodes=2834
26.11	     nbRestartNogoods=10  mapSize=151  nbInferences=0  nbTooLargeKeys=0
26.11	       =>  wckTime=20.254  cpuTime=20.0  mem=73M299
39.61	   
39.61	   search
39.61	     run=8  nbConstraintChecks=4229970  nbValidityChecks=187798  nbPropagations=111767  nbRevisions=1341488
39.61	     nbUselessRevisions=1332325  nbAssignments=4126  nbFailedAssignments=120  nbBacktracks=782  nbVisitedNodes=4367
39.61	     nbRestartNogoods=11  mapSize=225  nbInferences=0  nbTooLargeKeys=0
39.61	       =>  wckTime=33.752  cpuTime=33.38  mem=75M337
56.28	   
56.28	   search
56.28	     run=9  nbConstraintChecks=9576320  nbValidityChecks=255411  nbPropagations=130157  nbRevisions=1581987
56.28	     nbUselessRevisions=1568373  nbAssignments=5443  nbFailedAssignments=167  nbBacktracks=1172  nbVisitedNodes=5779
56.28	     nbRestartNogoods=15  mapSize=316  nbInferences=0  nbTooLargeKeys=0
56.29	       =>  wckTime=50.43  cpuTime=49.93  mem=77M376
63.92	   
63.93	   search
63.93	     run=10  nbConstraintChecks=11830392  nbValidityChecks=318773  nbPropagations=151313  nbRevisions=1862523
63.93	     nbUselessRevisions=1842607  nbAssignments=6686  nbFailedAssignments=227  nbBacktracks=1749  nbVisitedNodes=7141
63.93	     nbRestartNogoods=19  mapSize=432  nbInferences=0  nbTooLargeKeys=0
63.93	       =>  wckTime=58.072  cpuTime=57.49  mem=78M395
89.38	   
89.38	   search
89.38	     run=11  nbConstraintChecks=20309647  nbValidityChecks=421673  nbPropagations=178989  nbRevisions=2208253
89.38	     nbUselessRevisions=2175523  nbAssignments=7967  nbFailedAssignments=388  nbBacktracks=2616  nbVisitedNodes=8741
89.38	     nbRestartNogoods=22  mapSize=669  nbInferences=0  nbTooLargeKeys=0
89.38	       =>  wckTime=83.529  cpuTime=82.75  mem=79M415
122.43	   
122.43	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=83M492)
124.47	   
124.47	   search
124.47	     run=12  nbConstraintChecks=31756580  nbValidityChecks=577179  nbPropagations=216082  nbRevisions=2654483
124.47	     nbUselessRevisions=2600428  nbAssignments=10552  nbFailedAssignments=650  nbBacktracks=3920  nbVisitedNodes=11855
124.47	     nbRestartNogoods=27
124.47	       =>  wckTime=118.612  cpuTime=117.54  mem=83M492
934.68	   
934.68	   search
934.68	     run=13  nbConstraintChecks=319711985  nbValidityChecks=834672  nbPropagations=273601  nbRevisions=3283243
934.68	     nbUselessRevisions=3189865  nbAssignments=14056  nbFailedAssignments=1237  nbBacktracks=5868  nbVisitedNodes=16277
934.68	     nbRestartNogoods=34
934.68	       =>  wckTime=928.83  cpuTime=921.09  mem=83M492

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-216253-1168239481 -o ROOT/results/node38/solver-216253-1168239481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216253-1168239481/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 2.00 2.00 1.83 4/73 22589
/proc/meminfo: memFree=1797384/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=906644 CPUtime=0.02
/proc/22588/stat : 22588 (java) S 22586 22588 20407 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 172347800 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 226661 1818 1036 14 0 214244 0
[pid=22588/tid=22590] ppid=22586 vsize=906644 CPUtime=0
/proc/22588/task/22590/stat : 22590 (java) R 22586 22588 20407 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 172347804 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105748 s]
/proc/loadavg: 2.00 2.00 1.83 4/73 22589
/proc/meminfo: memFree=1797384/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=914988 CPUtime=0.09
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 3020 0 1 0 8 1 0 0 17 0 8 0 172347800 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155173424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228747 2766 1435 14 0 215242 0
[pid=22588/tid=22590] ppid=22586 vsize=914988 CPUtime=0
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172347804 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513829 s]
/proc/loadavg: 2.00 2.00 1.83 4/73 22589
/proc/meminfo: memFree=1797384/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915328 CPUtime=0.49
/proc/22588/stat : 22588 (java) S 22586 22588 20407 0 -1 0 6600 0 1 0 45 4 0 0 17 0 8 0 172347800 937295872 6339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228832 6339 2135 14 0 215302 0
[pid=22588/tid=22590] ppid=22586 vsize=915328 CPUtime=0
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172347804 937295872 6339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33599 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1732688/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915640 CPUtime=1.31
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 18524 0 1 0 121 10 0 0 21 0 8 0 172347800 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228910 18261 2157 14 0 215380 0
[pid=22588/tid=22590] ppid=22586 vsize=915640 CPUtime=0.06
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 1993 0 0 0 6 0 0 0 16 0 8 0 172347804 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915640 CPUtime=0.16
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 403 0 0 0 15 1 0 0 19 0 8 0 172347808 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937615360 18261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915640

[startup+2.98931 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1721424/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915640 CPUtime=2.94
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 21353 0 1 0 240 54 0 0 25 0 8 0 172347800 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073536900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228910 21087 2177 14 0 215380 0
[pid=22588/tid=22590] ppid=22586 vsize=915640 CPUtime=0.22
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 4734 0 0 0 21 1 0 0 16 0 8 0 172347804 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915640 CPUtime=0.21
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 428 0 0 0 20 1 0 0 16 0 8 0 172347808 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915640 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937615360 21087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915640

[startup+6.27495 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1670800/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=6.2
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35314 0 1 0 477 143 0 0 25 0 8 0 172347800 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228968 34966 2543 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.34
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 521 0 0 0 33 1 0 0 15 0 8 0 172347808 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 34966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915872

[startup+12.7662 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1667216/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=12.64
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35327 0 1 0 1120 144 0 0 25 0 8 0 172347800 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228968 34978 2545 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.36
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 530 0 0 0 34 2 0 0 16 0 8 0 172347808 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 34978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915872

[startup+25.6238 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1667408/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=25.38
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35353 0 1 0 2394 144 0 0 25 0 8 0 172347800 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228968 35001 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 17 0 8 0 172347804 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.4
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 547 0 0 0 38 2 0 0 15 0 8 0 172347808 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915872

[startup+51.2297 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 22596
/proc/meminfo: memFree=1667344/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=50.77
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35355 0 1 0 4933 144 0 0 25 0 8 0 172347800 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228968 35002 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.41
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 548 0 0 0 39 2 0 0 15 0 8 0 172347808 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915872

[startup+102.449 s]
/proc/loadavg: 2.00 2.00 1.84 3/80 22596
/proc/meminfo: memFree=1667408/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=101.6
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35362 0 1 0 10015 145 0 0 25 0 8 0 172347800 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22588/statm: 228968 35007 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.41
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 553 0 0 0 39 2 0 0 16 0 8 0 172347808 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915872

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

Current children cumulated CPU time (s) 1415.45
Current children cumulated vsize (KiB) 915872

[startup+1483.72 s]
/proc/loadavg: 2.04 2.03 1.95 3/88 22867
/proc/meminfo: memFree=1653384/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1475.41
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35365 0 1 0 147392 149 0 0 25 0 8 0 172347800 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35008 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 555 0 0 0 40 2 0 0 16 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.41
Current children cumulated vsize (KiB) 915872

[startup+1543.73 s]
/proc/loadavg: 2.06 2.04 1.96 3/88 22867
/proc/meminfo: memFree=1653320/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1535.34
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35365 0 1 0 153385 149 0 0 25 0 8 0 172347800 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35008 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 555 0 0 0 40 2 0 0 16 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.34
Current children cumulated vsize (KiB) 915872

[startup+1603.82 s]
/proc/loadavg: 2.02 2.03 1.96 3/88 22867
/proc/meminfo: memFree=1653320/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1595.36
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35366 0 1 0 159387 149 0 0 25 0 8 0 172347800 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35009 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 556 0 0 0 40 2 0 0 17 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.36
Current children cumulated vsize (KiB) 915872

[startup+1663.83 s]
/proc/loadavg: 2.07 2.04 1.96 3/88 22867
/proc/meminfo: memFree=1653256/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1655.32
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35366 0 1 0 165383 149 0 0 25 0 8 0 172347800 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35009 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 556 0 0 0 40 2 0 0 17 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.32
Current children cumulated vsize (KiB) 915872

[startup+1723.86 s]
/proc/loadavg: 2.02 2.03 1.96 3/88 22867
/proc/meminfo: memFree=1653192/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1715.28
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35366 0 1 0 171379 149 0 0 25 0 8 0 172347800 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35009 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 556 0 0 0 40 2 0 0 17 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.28
Current children cumulated vsize (KiB) 915872

[startup+1783.88 s]
/proc/loadavg: 2.01 2.02 1.96 3/88 22867
/proc/meminfo: memFree=1653256/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1775.24
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35366 0 1 0 177375 149 0 0 25 0 8 0 172347800 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35009 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 556 0 0 0 40 2 0 0 17 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.24
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.7 s]
/proc/loadavg: 2.00 2.02 1.96 3/88 22867
/proc/meminfo: memFree=1653192/2055920 swapFree=4192812/4192956
[pid=22588] ppid=22586 vsize=915872 CPUtime=1800.03
/proc/22588/stat : 22588 (java) R 22586 22588 20407 0 -1 0 35366 0 1 0 179854 149 0 0 25 0 8 0 172347800 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22588/statm: 228968 35009 2547 14 0 215438 0
[pid=22588/tid=22590] ppid=22586 vsize=915872 CPUtime=0.78
/proc/22588/task/22590/stat : 22590 (java) S 22586 22588 20407 0 -1 64 18132 0 0 0 72 6 0 0 16 0 8 0 172347804 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22591] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22591/stat : 22591 (java) S 22586 22588 20407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22592] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22592/stat : 22592 (java) S 22586 22588 20407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172347805 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22593] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22593/stat : 22593 (java) S 22586 22588 20407 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22594] ppid=22586 vsize=915872 CPUtime=0.42
/proc/22588/task/22594/stat : 22594 (java) S 22586 22588 20407 0 -1 64 556 0 0 0 40 2 0 0 17 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22588/tid=22595] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22595/stat : 22595 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22588/tid=22596] ppid=22586 vsize=915872 CPUtime=0
/proc/22588/task/22596/stat : 22596 (java) S 22586 22588 20407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172347808 937852928 35009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1808.78
CPU time (s): 1800.11
CPU user time (s): 1798.59
CPU system time (s): 1.51777
CPU usage (%): 99.5207
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.51777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35383
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= 38228
involuntary context switches= 46238

runsolver used 2.20466 s user time and 5.2842 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Jan  8 06:58:02 UTC 2007


IDJOB= 216253
IDBENCH= 5064
FILE ID= node38/216253-1168239481

PBS_JOBID= 3481497

Free space on /tmp= 66513 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ppp/ppp-1-3-13-19.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216253-1168239481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-216253-1168239481 -o ROOT/results/node38/solver-216253-1168239481 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216253-1168239481/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ae758250d0e2faa1c8e5e6e4d17f9606

RANDOM SEED= 616533295

TIME LIMIT= 1800 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.267
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	: 5914.62
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.267
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:       1797864 kB
Buffers:         45512 kB
Cached:         133600 kB
SwapCached:          0 kB
Active:         106400 kB
Inactive:        94792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6356 kB
Writeback:           0 kB
Mapped:          35680 kB
Slab:            42200 kB
Committed_AS:  3878972 kB
PageTables:       1816 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= 66516 MiB



End job on node38 on Mon Jan  8 07:28:10 UTC 2007