Trace number 218154

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 ACSAT 320.492 320.606

DiagnosticValue
CHECKS274767590
NODES331441

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-49_ext.xml
MD5SUMab6c75a4330ebc652c45903e8fdc50be
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark28.2947
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints57
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension57
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/218154-1168079549/unknown.xml
0.34	   
0.34	   domains being loaded...
0.34	   
0.34	   variables being loaded...
0.37	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.37	       =>  wckTime=0.088  cpuTime=0.09  mem=6M951
0.37	   
0.37	   relations being loaded...
0.61	   
0.61	   constraints being loaded...
0.76	     nbConstraints=57  nbRelationTypes=57  nbExtensionStructures=57  nbSharedExtensionStructures=0
0.76	     nbConflictsStructures=57  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=12  maxArity=3
0.76	       =>  wckTime=0.475  cpuTime=0.44  mem=41M364
0.83	   
0.83	   solver IterativeSystematicSolver being built... 
0.98	       =>  wckTime=0.698  cpuTime=0.56  mem=21M369
0.99	   
0.99	   preprocessing
0.99	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.99	     detectedInconsistency=no
0.99	       =>  wckTime=0.0020  cpuTime=0.0  mem=21M369
1.07	   
1.07	   search
1.07	     run=0  nbConstraintChecks=21213  nbValidityChecks=37701  nbPropagations=277  nbRevisions=2782
1.07	     nbUselessRevisions=2159  nbAssignments=28  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=48
1.07	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.086  cpuTime=0.06  mem=21M369
1.13	   
1.13	   search
1.13	     run=1  nbConstraintChecks=58466  nbValidityChecks=113326  nbPropagations=1075  nbRevisions=11628
1.13	     nbUselessRevisions=9052  nbAssignments=78  nbFailedAssignments=43  nbBacktracks=26  nbVisitedNodes=140
1.13	     nbRestartNogoods=2  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.143  cpuTime=0.11  mem=21M369
1.24	   
1.24	   search
1.24	     run=2  nbConstraintChecks=136428  nbValidityChecks=269805  nbPropagations=2898  nbRevisions=31914
1.24	     nbUselessRevisions=24699  nbAssignments=162  nbFailedAssignments=101  nbBacktracks=49  nbVisitedNodes=300
1.24	     nbRestartNogoods=4  mapSize=45  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.254  cpuTime=0.21  mem=21M369
1.32	   
1.32	   search
1.32	     run=3  nbConstraintChecks=199859  nbValidityChecks=392933  nbPropagations=5606  nbRevisions=61385
1.32	     nbUselessRevisions=47595  nbAssignments=254  nbFailedAssignments=155  nbBacktracks=82  nbVisitedNodes=466
1.32	     nbRestartNogoods=6  mapSize=71  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.336  cpuTime=0.29  mem=21M369
1.45	   
1.45	   search
1.45	     run=4  nbConstraintChecks=301385  nbValidityChecks=596064  nbPropagations=9730  nbRevisions=105840
1.45	     nbUselessRevisions=82040  nbAssignments=381  nbFailedAssignments=227  nbBacktracks=132  nbVisitedNodes=696
1.45	     nbRestartNogoods=15  mapSize=109  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.466  cpuTime=0.41  mem=21M369
1.65	   
1.65	   search
1.65	     run=5  nbConstraintChecks=468315  nbValidityChecks=921099  nbPropagations=16117  nbRevisions=176089
1.65	     nbUselessRevisions=136613  nbAssignments=554  nbFailedAssignments=321  nbBacktracks=208  nbVisitedNodes=1019
1.65	     nbRestartNogoods=24  mapSize=180  nbInferences=0  nbTooLargeKeys=0
1.65	       =>  wckTime=0.668  cpuTime=0.61  mem=21M369
1.90	   
1.90	   search
1.90	     run=6  nbConstraintChecks=685231  nbValidityChecks=1368428  nbPropagations=25714  nbRevisions=280746
1.90	     nbUselessRevisions=217648  nbAssignments=847  nbFailedAssignments=496  nbBacktracks=322  nbVisitedNodes=1567
1.90	     nbRestartNogoods=29  mapSize=282  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.919  cpuTime=0.86  mem=21M369
2.31	   
2.31	   search
2.31	     run=7  nbConstraintChecks=1023593  nbValidityChecks=2058785  nbPropagations=40671  nbRevisions=444643
2.31	     nbUselessRevisions=344855  nbAssignments=1273  nbFailedAssignments=747  nbBacktracks=493  nbVisitedNodes=2370
2.31	     nbRestartNogoods=35  mapSize=447  nbInferences=0  nbTooLargeKeys=0
2.31	       =>  wckTime=1.322  cpuTime=1.25  mem=21M369
2.99	   
2.99	   search
2.99	     run=8  nbConstraintChecks=1616070  nbValidityChecks=3268661  nbPropagations=63340  nbRevisions=696227
2.99	     nbUselessRevisions=540493  nbAssignments=1959  nbFailedAssignments=1173  nbBacktracks=749  nbVisitedNodes=3679
2.99	     nbRestartNogoods=47  mapSize=697  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=2.01  cpuTime=1.92  mem=21M369
3.93	   
3.93	   search
3.93	     run=9  nbConstraintChecks=2402588  nbValidityChecks=4789300  nbPropagations=96602  nbRevisions=1058772
3.93	     nbUselessRevisions=822017  nbAssignments=2883  nbFailedAssignments=1708  nbBacktracks=1133  nbVisitedNodes=5387
3.93	     nbRestartNogoods=57  mapSize=1026  nbInferences=0  nbTooLargeKeys=0
3.93	       =>  wckTime=2.943  cpuTime=2.85  mem=21M369
3.99	   
3.99	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=21M369)
5.18	   
5.18	   search
5.18	     run=10  nbConstraintChecks=3451352  nbValidityChecks=6866056  nbPropagations=145403  nbRevisions=1585356
5.18	     nbUselessRevisions=1230970  nbAssignments=4250  nbFailedAssignments=2494  nbBacktracks=1709  nbVisitedNodes=7900
5.18	     nbRestartNogoods=69
5.18	       =>  wckTime=4.191  cpuTime=4.09  mem=21M369
7.53	   
7.53	   search
7.53	     run=11  nbConstraintChecks=5539905  nbValidityChecks=11107268  nbPropagations=221504  nbRevisions=2426628
7.53	     nbUselessRevisions=1885248  nbAssignments=6671  nbFailedAssignments=4047  nbBacktracks=2573  nbVisitedNodes=12486
7.53	     nbRestartNogoods=72
7.53	       =>  wckTime=6.549  cpuTime=6.45  mem=21M369
10.44	   
10.44	   search
10.44	     run=12  nbConstraintChecks=8049296  nbValidityChecks=16244815  nbPropagations=333744  nbRevisions=3667353
10.44	     nbUselessRevisions=2850207  nbAssignments=10196  nbFailedAssignments=6272  nbBacktracks=3870  nbVisitedNodes=19144
10.44	     nbRestartNogoods=90
10.44	       =>  wckTime=9.452  cpuTime=9.35  mem=21M369
14.78	   
14.78	   search
14.78	     run=13  nbConstraintChecks=11748360  nbValidityChecks=23587831  nbPropagations=502373  nbRevisions=5501715
14.78	     nbUselessRevisions=4274826  nbAssignments=15023  nbFailedAssignments=9148  nbBacktracks=5816  nbVisitedNodes=28210
14.78	     nbRestartNogoods=96
14.78	       =>  wckTime=13.794  cpuTime=13.69  mem=21M369
21.96	   
21.96	   search
21.96	     run=14  nbConstraintChecks=18019134  nbValidityChecks=36557904  nbPropagations=760187  nbRevisions=8342826
21.96	     nbUselessRevisions=6484044  nbAssignments=22837  nbFailedAssignments=14040  nbBacktracks=8737  nbVisitedNodes=42966
21.96	     nbRestartNogoods=113
21.96	       =>  wckTime=20.971  cpuTime=20.86  mem=21M369
32.62	   
32.62	   search
32.62	     run=15  nbConstraintChecks=27278423  nbValidityChecks=55051189  nbPropagations=1144906  nbRevisions=12559200
32.62	     nbUselessRevisions=9760463  nbAssignments=33958  nbFailedAssignments=20778  nbBacktracks=13115
32.62	     nbVisitedNodes=63838  nbRestartNogoods=120
32.62	       =>  wckTime=31.634  cpuTime=31.52  mem=21M369
48.66	   
48.66	   search
48.66	     run=16  nbConstraintChecks=41095202  nbValidityChecks=82301686  nbPropagations=1719696  nbRevisions=18828814
48.66	     nbUselessRevisions=14629384  nbAssignments=50707  nbFailedAssignments=30955  nbBacktracks=19683
48.66	     nbVisitedNodes=95229  nbRestartNogoods=145
48.66	       =>  wckTime=47.673  cpuTime=47.56  mem=21M369
73.50	   
73.50	   search
73.50	     run=17  nbConstraintChecks=63044059  nbValidityChecks=127187112  nbPropagations=2591231  nbRevisions=28463719
73.50	     nbUselessRevisions=22119468  nbAssignments=76679  nbFailedAssignments=47071  nbBacktracks=29535
73.50	     nbVisitedNodes=144429  nbRestartNogoods=156
73.50	       =>  wckTime=72.515  cpuTime=72.39  mem=21M369
113.95	   
113.95	   search
113.95	     run=18  nbConstraintChecks=98244843  nbValidityChecks=197086783  nbPropagations=3928516  nbRevisions=43302759
113.95	     nbUselessRevisions=33654343  nbAssignments=114295  nbFailedAssignments=69906  nbBacktracks=44314
113.95	     nbVisitedNodes=215465  nbRestartNogoods=173
113.95	       =>  wckTime=112.961  cpuTime=112.83  mem=21M369
176.56	   
176.56	   search
176.56	     run=19  nbConstraintChecks=151840786  nbValidityChecks=306339827  nbPropagations=6013515  nbRevisions=66282143
176.56	     nbUselessRevisions=51453331  nbAssignments=174790  nbFailedAssignments=108228  nbBacktracks=66483
176.56	     nbVisitedNodes=330387  nbRestartNogoods=194
176.56	       =>  wckTime=175.575  cpuTime=175.42  mem=21M369
254.12	   
254.12	   search
254.12	     run=20  nbConstraintChecks=217749107  nbValidityChecks=440829702  nbPropagations=9077373  nbRevisions=99904730
254.12	     nbUselessRevisions=77530388  nbAssignments=257387  nbFailedAssignments=157569  nbBacktracks=99736
254.12	     nbVisitedNodes=484614  nbRestartNogoods=211
254.12	       =>  wckTime=253.139  cpuTime=252.96  mem=21M369
320.57	   
320.57	   search
320.57	     run=21  nbConstraintChecks=274767590  nbValidityChecks=559428114  nbPropagations=12986575  nbRevisions=142857948
320.57	     nbUselessRevisions=110896438  nbAssignments=331441  nbFailedAssignments=202470  nbBacktracks=128869
320.57	     nbVisitedNodes=622131  nbRestartNogoods=222
320.57	       =>  wckTime=319.587  cpuTime=319.39  mem=21M369
320.57	   
320.57	   global
320.57	     nbConstraintChecks=274767590  nbValidityChecks=559428114  nbPropagations=12986595  nbRevisions=142857948
320.57	     nbUselessRevisions=110896438  nbRestartNogoods=222  solvingWckTime=319.588  solvingCpuTime=319.4  expiredTime=no
320.57	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=320.0
320.57	       =>  wckTime=320.289  cpuTime=319.96  mem=21M369
320.58	   
320.58	s SATISFIABLE
320.58	v 1 5 13 17 0 18 6 8 15 11 18 3 11 7 14 13 11 6 7 14 
320.58	d NODES 331441
320.58	d CHECKS 274767590
320.58	   
320.58	   totalWckTime=320.363  totalCpuTime=320.0

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node56/watcher-218154-1168079549 -o ROOT/results/node56/solver-218154-1168079549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/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: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=172 CPUtime=0
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 156353162 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/5523/statm: 55 28 22 14 0 3 0

[startup+0.10786 s]
/proc/loadavg: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=915724 CPUtime=0.09
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 3124 0 1 0 8 1 0 0 17 0 8 0 156353162 937701376 2870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 228931 2870 1472 14 0 215426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915724

[startup+0.518899 s]
/proc/loadavg: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=915956 CPUtime=0.5
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 8651 0 1 0 46 4 0 0 17 0 8 0 156353162 937938944 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 228989 8390 2137 14 0 215459 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915956

[startup+1.34698 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609344/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916056 CPUtime=1.34
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16799 0 1 0 124 10 0 0 17 0 8 0 156353162 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 229014 16536 2517 14 0 215484 0
[pid=5523/tid=5525] ppid=5521 vsize=916056 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916056 CPUtime=0.17
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 364 0 0 0 16 1 0 0 16 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 916056

[startup+2.98514 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916056 CPUtime=2.97
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16814 0 1 0 287 10 0 0 16 0 8 0 156353162 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 229014 16550 2517 14 0 215484 0
[pid=5523/tid=5525] ppid=5521 vsize=916056 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916056 CPUtime=0.19
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 916056

[startup+6.26245 s]
/proc/loadavg: 0.87 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609152/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=6.24
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16826 0 1 0 613 11 0 0 21 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.2
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916188

[startup+12.7421 s]
/proc/loadavg: 0.88 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609152/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=12.72
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 1261 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916188

[startup+25.5783 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609216/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=25.55
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 2544 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916188

[startup+51.2598 s]
/proc/loadavg: 0.94 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=51.23
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 5112 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 916188

[startup+102.508 s]
/proc/loadavg: 0.97 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=102.46
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 10235 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916188

[startup+162.591 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=162.52
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 16241 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 916188

[startup+222.675 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=222.59
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 22248 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.59
Current children cumulated vsize (KiB) 916188

[startup+282.754 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609216/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=282.65
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 28254 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.65
Current children cumulated vsize (KiB) 916188

Child status: 0
Real time (s): 320.606
CPU time (s): 320.492
CPU user time (s): 320.36
CPU system time (s): 0.131979
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 916188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.36
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16832
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= 7270
involuntary context switches= 7031

runsolver used 0.310952 s user time and 0.837872 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan  6 10:32:30 UTC 2007


IDJOB= 218154
IDBENCH= 5206
FILE ID= node56/218154-1168079549

PBS_JOBID= 3476072

Free space on /tmp= 66520 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-218154-1168079549 -o ROOT/results/node56/solver-218154-1168079549 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ab6c75a4330ebc652c45903e8fdc50be

RANDOM SEED= 200814551

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.232
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.232
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:       1666264 kB
Buffers:         29208 kB
Cached:         284184 kB
SwapCached:       2060 kB
Active:          53268 kB
Inactive:       269812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666264 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:          16580 kB
Slab:            52592 kB
Committed_AS:  2661920 kB
PageTables:       1472 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= 66520 MiB



End job on node56 on Sat Jan  6 10:37:51 UTC 2007