Trace number 252673

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.09 1809.28

General information on the benchmark

NamesocialGolfers/
socialGolfer-8-4-8.xml
MD5SUM29ffcc52bd19b710a1e14deacd8558a9
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 variables6016
Number of constraints32560
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32560
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/252673-1168087574/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.56	     nbVariables=6016  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.56	       =>  wckTime=0.235  cpuTime=0.16  mem=9M811
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
4.39	     nbConstraints=32560  nbConflictsStructures=3  nbSharedConflictsStructures=32493  nbUnbuiltConflictsStructures=1
4.39	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=32556  maxDegree=33
4.39	     maxArity=32
4.39	       =>  wckTime=4.072  cpuTime=3.5  mem=57M413
4.64	   
4.64	   solver IterativeSystematicSolver being built... 
5.64	       =>  wckTime=5.319  cpuTime=4.23  mem=84M140
5.74	   
5.74	   preprocessing
5.74	     nbConstraintChecks=0  nbPropagations=6016  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
5.74	     detectedInconsistency=no
5.74	       =>  wckTime=0.082  cpuTime=0.08  mem=87M200
6.27	   
6.27	   search
6.27	     run=0  nbConstraintChecks=1868  nbValidityChecks=1528  nbPropagations=6397  nbRevisions=1276
6.27	     nbUselessRevisions=1046  nbAssignments=188  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=196
6.27	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.27	       =>  wckTime=0.617  cpuTime=0.57  mem=88M285
6.89	   
6.89	   search
6.89	     run=1  nbConstraintChecks=7174  nbValidityChecks=4811  nbPropagations=13495  nbRevisions=5296
6.89	     nbUselessRevisions=4299  nbAssignments=447  nbFailedAssignments=8  nbBacktracks=34  nbVisitedNodes=470
6.89	     nbRestartNogoods=1  mapSize=20  nbInferences=0  nbTooLargeKeys=0
6.90	       =>  wckTime=1.242  cpuTime=1.18  mem=88M285
7.67	   
7.67	   search
7.67	     run=2  nbConstraintChecks=13830  nbValidityChecks=9684  nbPropagations=21502  nbRevisions=13431
7.67	     nbUselessRevisions=11017  nbAssignments=772  nbFailedAssignments=14  nbBacktracks=56  nbVisitedNodes=812
7.67	     nbRestartNogoods=2  mapSize=35  nbInferences=0  nbTooLargeKeys=0
7.67	       =>  wckTime=2.02  cpuTime=1.95  mem=88M285
8.64	   
8.64	   search
8.64	     run=3  nbConstraintChecks=22955  nbValidityChecks=16304  nbPropagations=30665  nbRevisions=27249
8.64	     nbUselessRevisions=22560  nbAssignments=1181  nbFailedAssignments=22  nbBacktracks=98  nbVisitedNodes=1242
8.64	     nbRestartNogoods=4  mapSize=54  nbInferences=0  nbTooLargeKeys=0
8.64	       =>  wckTime=2.984  cpuTime=2.9  mem=88M285
9.78	   
9.78	   search
9.78	     run=4  nbConstraintChecks=36723  nbValidityChecks=25678  nbPropagations=41350  nbRevisions=49443
9.78	     nbUselessRevisions=41321  nbAssignments=1661  nbFailedAssignments=30  nbBacktracks=150  nbVisitedNodes=1745
9.78	     nbRestartNogoods=6  mapSize=74  nbInferences=0  nbTooLargeKeys=0
9.78	       =>  wckTime=4.127  cpuTime=4.02  mem=89M305
11.12	   
11.12	   search
11.12	     run=5  nbConstraintChecks=55735  nbValidityChecks=38975  nbPropagations=54071  nbRevisions=83674
11.12	     nbUselessRevisions=70470  nbAssignments=2242  nbFailedAssignments=40  nbBacktracks=235  nbVisitedNodes=2352
11.12	     nbRestartNogoods=9  mapSize=98  nbInferences=0  nbTooLargeKeys=0
11.12	       =>  wckTime=5.468  cpuTime=5.34  mem=90M325
12.74	   
12.74	   search
12.74	     run=6  nbConstraintChecks=84884  nbValidityChecks=58044  nbPropagations=69486  nbRevisions=135069
12.74	     nbUselessRevisions=114307  nbAssignments=2932  nbFailedAssignments=62  nbBacktracks=351  nbVisitedNodes=3091
12.74	     nbRestartNogoods=11  mapSize=141  nbInferences=0  nbTooLargeKeys=0
12.74	       =>  wckTime=7.091  cpuTime=6.95  mem=90M325
14.52	   
14.52	   search
14.52	     run=7  nbConstraintChecks=114740  nbValidityChecks=79397  nbPropagations=87840  nbRevisions=206170
14.52	     nbUselessRevisions=175385  nbAssignments=3692  nbFailedAssignments=79  nbBacktracks=521  nbVisitedNodes=3897
14.52	     nbRestartNogoods=17  mapSize=185  nbInferences=0  nbTooLargeKeys=0
14.52	       =>  wckTime=8.869  cpuTime=8.71  mem=92M365
16.71	   
16.71	   search
16.71	     run=8  nbConstraintChecks=166854  nbValidityChecks=112856  nbPropagations=110802  nbRevisions=308480
16.71	     nbUselessRevisions=263528  nbAssignments=4617  nbFailedAssignments=102  nbBacktracks=785  nbVisitedNodes=4894
16.71	     nbRestartNogoods=19  mapSize=255  nbInferences=0  nbTooLargeKeys=0
16.71	       =>  wckTime=11.056  cpuTime=10.88  mem=93M385
112.48	   
112.48	   search
112.48	     run=9  nbConstraintChecks=31655670  nbValidityChecks=163456  nbPropagations=137250  nbRevisions=455839
112.48	     nbUselessRevisions=394142  nbAssignments=5735  nbFailedAssignments=123  nbBacktracks=1175  nbVisitedNodes=6054
112.48	     nbRestartNogoods=21  mapSize=305  nbInferences=0  nbTooLargeKeys=0
112.48	       =>  wckTime=106.831  cpuTime=105.77  mem=96M445
1287.84	   
1287.85	   search
1287.85	     run=10  nbConstraintChecks=457779121  nbValidityChecks=319593  nbPropagations=184308  nbRevisions=755161
1287.85	     nbUselessRevisions=657342  nbAssignments=6973  nbFailedAssignments=530  nbBacktracks=1751  nbVisitedNodes=7699
1287.85	     nbRestartNogoods=23  mapSize=625  nbInferences=0  nbTooLargeKeys=0
1287.85	       =>  wckTime=1282.192  cpuTime=1275.36  mem=97M465
1317.67	   
1317.67	   search
1317.67	     run=11  nbConstraintChecks=466171811  nbValidityChecks=596323  nbPropagations=246671  nbRevisions=1290989
1317.67	     nbUselessRevisions=1142797  nbAssignments=9581  nbFailedAssignments=624  nbBacktracks=2638  nbVisitedNodes=10543
1317.67	     nbRestartNogoods=25  mapSize=833  nbInferences=0  nbTooLargeKeys=0
1317.67	       =>  wckTime=1312.014  cpuTime=1305.07  mem=109M705
1332.98	   
1332.98	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=86M820)
1335.45	   
1335.45	   search
1335.45	     run=12  nbConstraintChecks=470058647  nbValidityChecks=871849  nbPropagations=321969  nbRevisions=2055157
1335.45	     nbUselessRevisions=1845893  nbAssignments=12725  nbFailedAssignments=747  nbBacktracks=3951  nbVisitedNodes=13962
1335.45	     nbRestartNogoods=53
1335.45	       =>  wckTime=1329.797  cpuTime=1322.67  mem=86M820
1350.03	   
1350.03	   search
1350.03	     run=13  nbConstraintChecks=473282631  nbValidityChecks=1247958  nbPropagations=418704  nbRevisions=3143404
1350.04	     nbUselessRevisions=2853535  nbAssignments=16509  nbFailedAssignments=851  nbBacktracks=5953  nbVisitedNodes=17988
1350.04	     nbRestartNogoods=58
1350.04	       =>  wckTime=1344.382  cpuTime=1337.2  mem=86M820
1359.45	   
1359.45	   search
1359.45	     run=14  nbConstraintChecks=474050640  nbValidityChecks=1741293  nbPropagations=538071  nbRevisions=4656613
1359.45	     nbUselessRevisions=4262100  nbAssignments=20869  nbFailedAssignments=1293  nbBacktracks=8872  nbVisitedNodes=23352
1359.45	     nbRestartNogoods=67
1359.45	       =>  wckTime=1353.799  cpuTime=1346.58  mem=86M820
1371.41	   
1371.41	   search
1371.41	     run=15  nbConstraintChecks=475141493  nbValidityChecks=2694130  nbPropagations=727439  nbRevisions=7027188
1371.41	     nbUselessRevisions=6456207  nbAssignments=27333  nbFailedAssignments=1529  nbBacktracks=13332  nbVisitedNodes=30357
1371.41	     nbRestartNogoods=68
1371.41	       =>  wckTime=1365.755  cpuTime=1358.49  mem=86M820
1389.69	   
1389.69	   search
1389.69	     run=16  nbConstraintChecks=476064700  nbValidityChecks=3909900  nbPropagations=983115  nbRevisions=10472460
1389.69	     nbUselessRevisions=9659576  nbAssignments=36296  nbFailedAssignments=2022  nbBacktracks=19936  nbVisitedNodes=40371
1389.69	     nbRestartNogoods=78
1389.69	       =>  wckTime=1384.041  cpuTime=1376.67  mem=86M820
1413.27	   
1413.27	   search
1413.27	     run=17  nbConstraintChecks=478004531  nbValidityChecks=5748165  nbPropagations=1358810  nbRevisions=15598706
1413.27	     nbUselessRevisions=14415749  nbAssignments=48712  nbFailedAssignments=2748  nbBacktracks=29807
1413.27	     nbVisitedNodes=54587  nbRestartNogoods=88
1413.27	       =>  wckTime=1407.613  cpuTime=1400.15  mem=87M840
1445.23	   
1445.23	   search
1445.23	     run=18  nbConstraintChecks=480067777  nbValidityChecks=7944828  nbPropagations=1863528  nbRevisions=22750265
1445.23	     nbUselessRevisions=21062187  nbAssignments=66132  nbFailedAssignments=3626  nbBacktracks=44685
1445.23	     nbVisitedNodes=74132  nbRestartNogoods=104
1445.23	       =>  wckTime=1439.58  cpuTime=1431.97  mem=87M840
1490.75	   
1490.75	   search
1490.75	     run=19  nbConstraintChecks=482132057  nbValidityChecks=10731302  nbPropagations=2494393  nbRevisions=32534565
1490.75	     nbUselessRevisions=30207642  nbAssignments=91423  nbFailedAssignments=5005  nbBacktracks=66854
1490.75	     nbVisitedNodes=103004  nbRestartNogoods=123
1490.75	       =>  wckTime=1485.094  cpuTime=1477.27  mem=87M840
1573.56	   
1573.56	   search
1573.56	     run=20  nbConstraintChecks=485956932  nbValidityChecks=15873461  nbPropagations=3354150  nbRevisions=47358848
1573.56	     nbUselessRevisions=44139946  nbAssignments=128885  nbFailedAssignments=7944  nbBacktracks=100110
1573.56	     nbVisitedNodes=148465  nbRestartNogoods=164
1573.56	       =>  wckTime=1567.903  cpuTime=1559.69  mem=87M840
1696.62	   
1696.62	   search
1696.62	     run=21  nbConstraintChecks=492594963  nbValidityChecks=23801471  nbPropagations=4655957  nbRevisions=70897085
1696.62	     nbUselessRevisions=66297227  nbAssignments=185352  nbFailedAssignments=13338  nbBacktracks=150026
1696.62	     nbVisitedNodes=218765  nbRestartNogoods=192
1696.62	       =>  wckTime=1690.965  cpuTime=1682.17  mem=87M840

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/node9/watcher-252673-1168087574 -o ROOT/results/node9/solver-252673-1168087574 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252673-1168087574/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.96 2.01 1.84 5/93 20697
/proc/meminfo: memFree=1193248/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=11820 CPUtime=0
/proc/20696/stat : 20696 (java) D 20694 20696 20175 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 157152684 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20696/statm: 2967 515 425 14 0 1602 0

[startup+0.10363 s]
/proc/loadavg: 1.96 2.01 1.84 5/93 20697
/proc/meminfo: memFree=1193248/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=914988 CPUtime=0.09
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 2979 0 1 0 7 2 0 0 17 0 8 0 157152684 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511673 s]
/proc/loadavg: 1.96 2.01 1.84 5/93 20697
/proc/meminfo: memFree=1193248/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915328 CPUtime=0.48
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 6130 0 1 0 44 4 0 0 18 0 8 0 157152684 937295872 5869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228832 5869 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33777 s]
/proc/loadavg: 1.96 2.01 1.84 3/100 20704
/proc/meminfo: memFree=1130536/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915620 CPUtime=1.3
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 17983 0 1 0 119 11 0 0 25 0 8 0 157152684 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073551760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228905 17721 2147 14 0 215375 0
[pid=20696/tid=20698] ppid=20694 vsize=915620 CPUtime=0.06
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 1477 0 0 0 6 0 0 0 17 0 8 0 157152688 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915620 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915620 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157152689 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915620 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915620 CPUtime=0.14
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 157152692 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915620 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915620 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937594880 17721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915620

[startup+2.98596 s]
/proc/loadavg: 1.96 2.01 1.84 3/100 20704
/proc/meminfo: memFree=1117032/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915624 CPUtime=2.93
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 21363 0 1 0 219 74 0 0 25 0 8 0 157152684 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228906 21098 2179 14 0 215376 0
[pid=20696/tid=20698] ppid=20694 vsize=915624 CPUtime=0.19
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 4749 0 0 0 18 1 0 0 16 0 8 0 157152688 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915624 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915624 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157152689 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915624 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915624 CPUtime=0.17
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 419 0 0 0 17 0 0 0 16 0 8 0 157152692 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915624 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915624 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937598976 21098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915624

[startup+6.26633 s]
/proc/loadavg: 1.96 2.01 1.84 3/100 20704
/proc/meminfo: memFree=1063528/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=6.19
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35135 0 1 0 467 152 0 0 25 0 8 0 157152684 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228933 34809 2528 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.78
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 18021 0 0 0 72 6 0 0 16 0 8 0 157152688 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.32
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 502 0 0 0 31 1 0 0 16 0 8 0 157152692 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 34809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915732

[startup+12.7621 s]
/proc/loadavg: 1.97 2.01 1.84 3/100 20704
/proc/meminfo: memFree=1063408/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=12.62
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35164 0 1 0 1110 152 0 0 25 0 8 0 157152684 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074131508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228933 34832 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.78
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 18021 0 0 0 72 6 0 0 16 0 8 0 157152688 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.36
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 522 0 0 0 35 1 0 0 15 0 8 0 157152692 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 34832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915732

[startup+25.6145 s]
/proc/loadavg: 1.97 2.01 1.84 3/100 20704
/proc/meminfo: memFree=1063472/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=25.35
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35165 0 1 0 2383 152 0 0 25 0 8 0 157152684 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228933 34833 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.78
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 18021 0 0 0 72 6 0 0 16 0 8 0 157152688 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.36
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 523 0 0 0 35 1 0 0 16 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915732

[startup+51.2174 s]
/proc/loadavg: 2.04 2.02 1.85 3/100 20704
/proc/meminfo: memFree=1063536/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=50.72
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35165 0 1 0 4920 152 0 0 25 0 8 0 157152684 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228933 34833 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.78
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 18021 0 0 0 72 6 0 0 16 0 8 0 157152688 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.36
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 523 0 0 0 35 1 0 0 16 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915732

[startup+102.422 s]
/proc/loadavg: 2.01 2.02 1.85 3/100 20704
/proc/meminfo: memFree=1063664/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=101.46
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35165 0 1 0 9993 153 0 0 25 0 8 0 157152684 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20696/statm: 228933 34833 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.78
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 18021 0 0 0 72 6 0 0 16 0 8 0 157152688 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.36
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 523 0 0 0 35 1 0 0 16 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 34833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915732

[startup+162.472 s]
/proc/loadavg: 2.00 2.01 1.86 2/85 20720
/proc/meminfo: memFree=1096216/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=160.96
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 35167 0 1 0 15943 153 0 0 25 0 8 0 157152684 937709568 34834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.4
Current children cumulated vsize (KiB) 915732

[startup+1482.87 s]
/proc/loadavg: 2.00 2.01 1.94 3/93 20974
/proc/meminfo: memFree=1003048/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1475.16
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 147350 166 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.16
Current children cumulated vsize (KiB) 915732

[startup+1542.9 s]
/proc/loadavg: 2.06 2.02 1.95 3/93 20974
/proc/meminfo: memFree=1003048/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1534.94
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 153327 167 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.94
Current children cumulated vsize (KiB) 915732

[startup+1602.94 s]
/proc/loadavg: 2.02 2.02 1.95 3/93 20974
/proc/meminfo: memFree=1003048/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1594.68
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 159301 167 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074170474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.68
Current children cumulated vsize (KiB) 915732

[startup+1662.98 s]
/proc/loadavg: 2.01 2.01 1.95 3/93 20974
/proc/meminfo: memFree=1002984/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1654.45
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 165278 167 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074170474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.45
Current children cumulated vsize (KiB) 915732

[startup+1723.01 s]
/proc/loadavg: 2.00 2.01 1.95 3/93 20974
/proc/meminfo: memFree=1002984/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1714.22
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 171255 167 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.22
Current children cumulated vsize (KiB) 915732

[startup+1783.04 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 20974
/proc/meminfo: memFree=1002984/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1773.96
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 177229 167 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.96
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 20974
/proc/meminfo: memFree=1002920/2055920 swapFree=4191880/4192956
[pid=20696] ppid=20694 vsize=915732 CPUtime=1800.01
/proc/20696/stat : 20696 (java) R 20694 20696 20175 0 -1 0 37986 0 1 0 179833 168 0 0 25 0 8 0 157152684 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20696/statm: 228933 37646 2530 14 0 215403 0
[pid=20696/tid=20698] ppid=20694 vsize=915732 CPUtime=0.85
/proc/20696/task/20698/stat : 20698 (java) S 20694 20696 20175 0 -1 64 20827 0 0 0 78 7 0 0 16 0 8 0 157152688 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20699] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20699/stat : 20699 (java) S 20694 20696 20175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20700] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20700/stat : 20700 (java) S 20694 20696 20175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157152689 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20701] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20701/stat : 20701 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20702] ppid=20694 vsize=915732 CPUtime=0.38
/proc/20696/task/20702/stat : 20702 (java) S 20694 20696 20175 0 -1 64 530 0 0 0 37 1 0 0 17 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20696/tid=20703] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20703/stat : 20703 (java) S 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20696/tid=20704] ppid=20694 vsize=915732 CPUtime=0
/proc/20696/task/20704/stat : 20704 (java) R 20694 20696 20175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157152692 937709568 37646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1809.28
CPU time (s): 1800.09
CPU user time (s): 1798.39
CPU system time (s): 1.70474
CPU usage (%): 99.4922
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.70474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38001
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= 38285
involuntary context switches= 72320

runsolver used 2.58561 s user time and 5.42617 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 12:46:15 UTC 2007


IDJOB= 252673
IDBENCH= 12962
FILE ID= node9/252673-1168087574

PBS_JOBID= 3476323

Free space on /tmp= 66538 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  29ffcc52bd19b710a1e14deacd8558a9

RANDOM SEED= 532384662

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.231
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.231
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:       1193728 kB
Buffers:         84272 kB
Cached:         602736 kB
SwapCached:        268 kB
Active:         353712 kB
Inactive:       406148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1193728 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6356 kB
Writeback:           0 kB
Mapped:          94612 kB
Slab:            87088 kB
Committed_AS:  4857144 kB
PageTables:       2392 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= 66538 MiB



End job on node9 on Sat Jan  6 13:16:25 UTC 2007