Trace number 252621

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 AC? (TO) 1800.11 1800.66

General information on the benchmark

NamesocialGolfers/
socialGolfer-9-4-8.xml
MD5SUM0fa2224912b1d835827875229dbae41a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6768
Number of constraints36568
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36568
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/252621-1168087305/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.57	     nbVariables=6768  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.57	       =>  wckTime=0.229  cpuTime=0.17  mem=9M811
0.57	   
0.57	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
4.88	     nbConstraints=36568  nbConflictsStructures=3  nbSharedConflictsStructures=36493  nbUnbuiltConflictsStructures=1
4.88	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=36564  maxDegree=33
4.88	     maxArity=32
4.88	       =>  wckTime=4.544  cpuTime=3.9  mem=60M34
5.10	   
5.10	   solver IterativeSystematicSolver being built... 
6.13	       =>  wckTime=5.792  cpuTime=4.69  mem=117M277
6.24	   
6.24	   preprocessing
6.24	     nbConstraintChecks=0  nbPropagations=6768  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
6.24	     detectedInconsistency=no
6.24	       =>  wckTime=0.092  cpuTime=0.08  mem=120M323
6.88	   
6.88	   search
6.88	     run=0  nbConstraintChecks=3105  nbValidityChecks=1715  nbPropagations=7195  nbRevisions=1434
6.88	     nbUselessRevisions=1172  nbAssignments=210  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=218
6.88	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.88	       =>  wckTime=0.741  cpuTime=0.7  mem=120M994
7.67	   
7.67	   search
7.67	     run=1  nbConstraintChecks=13282  nbValidityChecks=5476  nbPropagations=15191  nbRevisions=6025
7.67	     nbUselessRevisions=4875  nbAssignments=500  nbFailedAssignments=8  nbBacktracks=36  nbVisitedNodes=524
7.67	     nbRestartNogoods=1  mapSize=21  nbInferences=0  nbTooLargeKeys=0
7.67	       =>  wckTime=1.536  cpuTime=1.48  mem=120M994
8.66	   
8.67	   search
8.67	     run=2  nbConstraintChecks=27258  nbValidityChecks=11349  nbPropagations=24298  nbRevisions=15633
8.67	     nbUselessRevisions=12768  nbAssignments=868  nbFailedAssignments=15  nbBacktracks=63  nbVisitedNodes=912
8.67	     nbRestartNogoods=2  mapSize=39  nbInferences=0  nbTooLargeKeys=0
8.67	       =>  wckTime=2.527  cpuTime=2.46  mem=120M994
9.93	   
9.93	   search
9.93	     run=3  nbConstraintChecks=44025  nbValidityChecks=18812  nbPropagations=34718  nbRevisions=31671
9.93	     nbUselessRevisions=26111  nbAssignments=1318  nbFailedAssignments=23  nbBacktracks=100  nbVisitedNodes=1384
9.93	     nbRestartNogoods=4  mapSize=59  nbInferences=0  nbTooLargeKeys=0
9.93	       =>  wckTime=3.789  cpuTime=3.66  mem=79M427
11.40	   
11.40	   search
11.40	     run=4  nbConstraintChecks=68847  nbValidityChecks=29325  nbPropagations=46862  nbRevisions=57021
11.40	     nbUselessRevisions=47423  nbAssignments=1859  nbFailedAssignments=34  nbBacktracks=155  nbVisitedNodes=1956
11.40	     nbRestartNogoods=6  mapSize=86  nbInferences=0  nbTooLargeKeys=0
11.40	       =>  wckTime=5.256  cpuTime=5.1  mem=79M427
12.95	   
12.95	   search
12.95	     run=5  nbConstraintChecks=99981  nbValidityChecks=43130  nbPropagations=60969  nbRevisions=94685
12.95	     nbUselessRevisions=79427  nbAssignments=2473  nbFailedAssignments=46  nbBacktracks=233  nbVisitedNodes=2604
12.95	     nbRestartNogoods=10  mapSize=118  nbInferences=0  nbTooLargeKeys=0
12.95	       =>  wckTime=6.812  cpuTime=6.65  mem=80M442
14.89	   
14.89	   search
14.89	     run=6  nbConstraintChecks=154695  nbValidityChecks=64306  nbPropagations=78322  nbRevisions=152013
14.89	     nbUselessRevisions=128330  nbAssignments=3230  nbFailedAssignments=63  nbBacktracks=361  nbVisitedNodes=3407
14.89	     nbRestartNogoods=12  mapSize=160  nbInferences=0  nbTooLargeKeys=0
14.89	       =>  wckTime=8.755  cpuTime=8.59  mem=81M458
17.11	   
17.11	   search
17.11	     run=7  nbConstraintChecks=222720  nbValidityChecks=90325  nbPropagations=99490  nbRevisions=233606
17.11	     nbUselessRevisions=198165  nbAssignments=4090  nbFailedAssignments=85  nbBacktracks=540  nbVisitedNodes=4324
17.11	     nbRestartNogoods=16  mapSize=211  nbInferences=0  nbTooLargeKeys=0
17.11	       =>  wckTime=10.973  cpuTime=10.82  mem=83M489
19.81	   
19.81	   search
19.81	     run=8  nbConstraintChecks=310175  nbValidityChecks=126167  nbPropagations=125565  nbRevisions=348956
19.81	     nbUselessRevisions=297428  nbAssignments=5133  nbFailedAssignments=109  nbBacktracks=818  nbVisitedNodes=5431
19.82	     nbRestartNogoods=22  mapSize=273  nbInferences=0  nbTooLargeKeys=0
19.82	       =>  wckTime=13.677  cpuTime=13.52  mem=85M519
22.79	   
22.79	   search
22.79	     run=9  nbConstraintChecks=339487  nbValidityChecks=157396  nbPropagations=154758  nbRevisions=492018
22.79	     nbUselessRevisions=422315  nbAssignments=6296  nbFailedAssignments=143  nbBacktracks=1209  nbVisitedNodes=6665
22.79	     nbRestartNogoods=24  mapSize=342  nbInferences=0  nbTooLargeKeys=0
22.79	       =>  wckTime=16.656  cpuTime=16.5  mem=88M566
26.32	   
26.32	   search
26.32	     run=10  nbConstraintChecks=363403  nbValidityChecks=198813  nbPropagations=187582  nbRevisions=673050
26.32	     nbUselessRevisions=582477  nbAssignments=7635  nbFailedAssignments=200  nbBacktracks=1786  nbVisitedNodes=8124
26.32	     nbRestartNogoods=26  mapSize=460  nbInferences=0  nbTooLargeKeys=0
26.32	       =>  wckTime=20.184  cpuTime=20.01  mem=91M612
113.25	   
113.25	   search
113.25	     run=11  nbConstraintChecks=27693650  nbValidityChecks=269358  nbPropagations=227520  nbRevisions=916662
113.25	     nbUselessRevisions=798817  nbAssignments=9447  nbFailedAssignments=345  nbBacktracks=2652  nbVisitedNodes=10217
113.25	     nbRestartNogoods=28  mapSize=740  nbInferences=0  nbTooLargeKeys=0
113.25	       =>  wckTime=107.112  cpuTime=106.91  mem=94M659
155.96	   
155.96	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=104M813)
160.91	   
160.91	   search
160.91	     run=12  nbConstraintChecks=41157713  nbValidityChecks=646896  nbPropagations=288024  nbRevisions=1454180
160.91	     nbUselessRevisions=1288132  nbAssignments=12213  nbFailedAssignments=459  nbBacktracks=3952  nbVisitedNodes=13311
160.91	     nbRestartNogoods=31
160.91	       =>  wckTime=154.773  cpuTime=154.56  mem=104M813
187.71	   
187.71	   search
187.71	     run=13  nbConstraintChecks=47670936  nbValidityChecks=1333876  nbPropagations=385917  nbRevisions=2566948
187.71	     nbUselessRevisions=2314675  nbAssignments=16069  nbFailedAssignments=579  nbBacktracks=5902  nbVisitedNodes=17550
187.71	     nbRestartNogoods=45
187.71	       =>  wckTime=181.577  cpuTime=181.36  mem=104M813
339.66	   
339.66	   search
339.66	     run=14  nbConstraintChecks=92367809  nbValidityChecks=1902581  nbPropagations=515805  nbRevisions=4149713
339.66	     nbUselessRevisions=3781488  nbAssignments=21047  nbFailedAssignments=786  nbBacktracks=8880  nbVisitedNodes=22958
339.66	     nbRestartNogoods=69
339.66	       =>  wckTime=333.525  cpuTime=333.28  mem=104M813
357.33	   
357.33	   search
357.33	     run=15  nbConstraintChecks=93909310  nbValidityChecks=2581986  nbPropagations=670507  nbRevisions=6311045
357.33	     nbUselessRevisions=5804072  nbAssignments=27645  nbFailedAssignments=1141  nbBacktracks=13334  nbVisitedNodes=30378
357.33	     nbRestartNogoods=80
357.33	       =>  wckTime=351.189  cpuTime=350.94  mem=104M813

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/node29/watcher-252621-1168087305 -o ROOT/results/node29/solver-252621-1168087305 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252621-1168087305/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: 1.00 1.00 1.06 3/78 19229
/proc/meminfo: memFree=1652808/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=18540 CPUtime=0
/proc/19228/stat : 19228 (runsolver) R 19226 19228 18661 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 157124607 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19228/statm: 4635 279 244 17 0 2626 0

[startup+0.103692 s]
/proc/loadavg: 1.00 1.00 1.06 3/78 19229
/proc/meminfo: memFree=1652808/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=907808 CPUtime=0.04
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 2460 0 1 0 4 0 0 0 21 0 4 0 157124607 929595392 2207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944772 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/19228/statm: 226952 2207 1215 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808

[startup+0.511717 s]
/proc/loadavg: 1.00 1.00 1.06 3/78 19229
/proc/meminfo: memFree=1652808/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915328 CPUtime=0.46
/proc/19228/stat : 19228 (java) S 19226 19228 18661 0 -1 0 6123 0 1 0 43 3 0 0 16 0 8 0 157124607 937295872 5862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228832 5862 2125 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33176 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1589904/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915616 CPUtime=1.27
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 18050 0 1 0 118 9 0 0 17 0 8 0 157124607 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228904 17788 2147 14 0 215374 0
[pid=19228/tid=19230] ppid=19226 vsize=915616 CPUtime=0.06
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 1547 0 0 0 6 0 0 0 17 0 8 0 157124615 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915616 CPUtime=0.13
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 403 0 0 0 13 0 0 0 16 0 8 0 157124618 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937590784 17788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915616

[startup+2.96886 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1576080/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915620 CPUtime=2.91
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 21454 0 1 0 226 65 0 0 17 0 8 0 157124607 937594880 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228904 21189 2179 14 0 215374 0
[pid=19228/tid=19230] ppid=19226 vsize=915620 CPUtime=0.19
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 4844 0 0 0 18 1 0 0 16 0 8 0 157124615 937594880 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915616 CPUtime=0.16
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 418 0 0 0 15 1 0 0 16 0 8 0 157124618 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915620 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937594880 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915616 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915620

[startup+6.26727 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1519632/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=6.21
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 36962 0 1 0 457 164 0 0 16 0 8 0 157124607 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 36631 2526 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.88
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 19848 0 0 0 80 8 0 0 15 0 8 0 157124615 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.27
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 493 0 0 0 26 1 0 0 16 0 8 0 157124618 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 36631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915876

[startup+12.7457 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1512080/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=12.67
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37939 0 1 0 1101 166 0 0 18 0 8 0 157124607 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19228/statm: 228969 37599 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 17 0 8 0 157124615 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.33
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 529 0 0 0 32 1 0 0 15 0 8 0 157124618 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915876

[startup+25.5885 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1512080/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=25.5
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37946 0 1 0 2384 166 0 0 17 0 8 0 157124607 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37605 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915876

[startup+51.2729 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 19236
/proc/meminfo: memFree=1512016/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=51.18
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37948 0 1 0 4952 166 0 0 25 0 8 0 157124607 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37605 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915876

[startup+102.531 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 19236
/proc/meminfo: memFree=1512144/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=102.42
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37948 0 1 0 10076 166 0 0 25 0 8 0 157124607 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074196655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37605 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915876

[startup+162.624 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 19236
/proc/meminfo: memFree=1512080/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=162.5
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37949 0 1 0 16084 166 0 0 25 0 8 0 157124607 937857024 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 915876

[startup+1484.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511824/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1484.04
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 148233 171 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.04
Current children cumulated vsize (KiB) 915876

[startup+1544.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1544.12
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 154241 171 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.12
Current children cumulated vsize (KiB) 915876

[startup+1604.73 s]
/proc/loadavg: 1.00 1.00 1.00 3/85 19434
/proc/meminfo: memFree=1511824/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1604.21
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 160249 172 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.21
Current children cumulated vsize (KiB) 915876

[startup+1664.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1664.3
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 166258 172 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.3
Current children cumulated vsize (KiB) 915876

[startup+1724.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1724.37
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 172265 172 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 915876

[startup+1785.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1784.45
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 178273 172 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (KiB) 915876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19434
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=19228] ppid=19226 vsize=915876 CPUtime=1800.06
/proc/19228/stat : 19228 (java) R 19226 19228 18661 0 -1 0 37952 0 1 0 179834 172 0 0 25 0 8 0 157124607 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19228/statm: 228969 37607 2530 14 0 215439 0
[pid=19228/tid=19230] ppid=19226 vsize=915876 CPUtime=0.93
/proc/19228/task/19230/stat : 19230 (java) S 19226 19228 18661 0 -1 64 20774 0 0 0 85 8 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19231] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19231/stat : 19231 (java) S 19226 19228 18661 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19232] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19232/stat : 19232 (java) S 19226 19228 18661 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157124615 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19233] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19233/stat : 19233 (java) S 19226 19228 18661 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19234] ppid=19226 vsize=915876 CPUtime=0.34
/proc/19228/task/19234/stat : 19234 (java) S 19226 19228 18661 0 -1 64 537 0 0 0 33 1 0 0 16 0 8 0 157124618 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19235] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19235/stat : 19235 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19228/tid=19236] ppid=19226 vsize=915876 CPUtime=0
/proc/19228/task/19236/stat : 19236 (java) S 19226 19228 18661 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157124619 937857024 37607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915876

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

Child status: 143
Real time (s): 1800.66
CPU time (s): 1800.11
CPU user time (s): 1798.36
CPU system time (s): 1.75073
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.75073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37969
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= 37691
involuntary context switches= 3395

runsolver used 1.79373 s user time and 4.6133 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Jan  6 12:41:45 UTC 2007


IDJOB= 252621
IDBENCH= 12958
FILE ID= node29/252621-1168087305

PBS_JOBID= 3476289

Free space on /tmp= 66543 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-9-4-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252621-1168087305/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-252621-1168087305 -o ROOT/results/node29/solver-252621-1168087305 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252621-1168087305/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0fa2224912b1d835827875229dbae41a

RANDOM SEED= 836187935

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.241
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.241
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:       1653288 kB
Buffers:         44324 kB
Cached:         227540 kB
SwapCached:          0 kB
Active:         117536 kB
Inactive:       208676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1653288 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6868 kB
Writeback:           0 kB
Mapped:          73340 kB
Slab:            61760 kB
Committed_AS:  3038272 kB
PageTables:       2004 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= 66543 MiB



End job on node29 on Sat Jan  6 13:11:46 UTC 2007