0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2095191-1247406767.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.38/0.40 nbVariables=86 nbDomainTypes=5 minDomainSize=1 maxDomainSize=61 nbTotalValues=2634
0.38/0.40 => wckTime=0.159 cpuTime=0.12 mem=7M892
0.38/0.40
0.38/0.40 predicates being loaded...
0.38/0.47
0.38/0.47 constraints being loaded...
1.57/1.66 nbConstraints=434 nbSingletonDomainVariables=2 nbConflictsStructures=56 nbSharedConflictsStructures=0
1.57/1.66 nbUnbuiltConflictsStructures=378 nbSharedBinaryRepresentations=0 nbEvaluationManagers=434
1.57/1.66 nbSharedEvaluationManagers=0 minDegree=28 maxDegree=29 minArity=3 avgArity=5.61 maxArity=6 nbGenerators=0
1.57/1.66 nbFusions=0 symmetryWckTime=0.111 symmetryCpuTime=0.06
1.57/1.66 => wckTime=1.419 cpuTime=1.15 mem=26M397
1.66/1.74
1.66/1.74 solver IterativeSystematicSolver being built...
1.76/1.86
1.76/1.86 INFO : Forward propagation technique limited
1.86/1.92 => wckTime=1.68 cpuTime=1.31 mem=30M54
1.86/1.94
1.86/1.95 preprocessing
1.86/1.95 nbConstraintChecks=561 nbPropagations=86 nbRevisions=57 nbUselessRevisions=1 nbRemovedValues=280
1.86/1.95 detectedInconsistency=no
1.86/1.95 => wckTime=0.02 cpuTime=0.01 mem=30M54
13.85/14.05
13.85/14.05 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M11)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095191-1247406767/watcher-2095191-1247406767 -o /tmp/evaluation-result-2095191-1247406767/solver-2095191-1247406767 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095191-1247406767.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31477
/proc/meminfo: memFree=1794152/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=10676 CPUtime=0
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27743126 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 2669 474 207 9 0 1184 0
[pid=31477/tid=31478] ppid=31475 vsize=10676 CPUtime=0
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27743127 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 2310104 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0455689 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31477
/proc/meminfo: memFree=1794152/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=861936 CPUtime=0.03
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 2276 0 1 0 2 1 0 0 18 0 5 0 27743126 882622464 1879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 215484 1879 861 9 0 210399 0
[pid=31477/tid=31478] ppid=31475 vsize=861936 CPUtime=0.01
/proc/31477/task/31478/stat : 31478 (java) D 31475 31477 31096 0 -1 64 1581 0 1 0 1 0 0 0 17 0 5 0 27743127 882622464 1879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.102604 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31477
/proc/meminfo: memFree=1794152/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=865984 CPUtime=0.08
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 3746 0 1 0 7 1 0 0 18 0 9 0 27743126 886767616 3208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216496 3208 1694 9 0 210981 0
[pid=31477/tid=31478] ppid=31475 vsize=865984 CPUtime=0.07
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 2838 0 1 0 6 1 0 0 18 0 9 0 27743127 886767616 3208 996147200 134512640 134550932 4294955968 18446744073709551615 102597770 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301627 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31477
/proc/meminfo: memFree=1794152/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=866296 CPUtime=0.28
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 5686 0 1 0 25 3 0 0 18 0 9 0 27743126 887087104 5089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216574 5089 1927 9 0 211052 0
[pid=31477/tid=31478] ppid=31475 vsize=866296 CPUtime=0.24
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 4728 0 1 0 22 2 0 0 19 0 9 0 27743127 887087104 5089 996147200 134512640 134550932 4294955968 18446744073709551615 1463076 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.70167 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31477
/proc/meminfo: memFree=1794152/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867192 CPUtime=0.67
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 8422 0 1 0 63 4 0 0 18 0 9 0 27743126 888004608 7776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216798 7776 2035 9 0 211234 0
[pid=31477/tid=31478] ppid=31475 vsize=867192 CPUtime=0.53
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 7216 0 1 0 50 3 0 0 20 0 9 0 27743127 888004608 7776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867192
[startup+1.50276 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31486
/proc/meminfo: memFree=1756064/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867104 CPUtime=1.47
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 17533 0 1 0 136 11 0 0 18 0 9 0 27743126 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216776 16861 2026 9 0 211234 0
[pid=31477/tid=31478] ppid=31475 vsize=867104 CPUtime=1.26
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 15821 0 1 0 116 10 0 0 25 0 9 0 27743127 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4126822479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867104 CPUtime=0.02
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 454 0 0 0 2 0 0 0 16 0 9 0 27743129 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867104 CPUtime=0
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27743129 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867104 CPUtime=0
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27743129 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867104 CPUtime=0
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27743131 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867104 CPUtime=0.17
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 557 0 0 0 17 0 0 0 16 0 9 0 27743131 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867104 CPUtime=0
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27743131 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867104 CPUtime=0
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27743131 887914496 16861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867104
[startup+3.10294 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31490
/proc/meminfo: memFree=1730592/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=3.05
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28259 322 1 0 289 14 1 1 18 0 9 0 27743126 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18430 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=2.64
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22394 322 1 0 251 11 1 1 25 0 9 0 27743127 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4126814191 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.3
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 773 322 0 0 28 0 1 1 15 0 9 0 27743131 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 4 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867960
[startup+6.30129 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31490
/proc/meminfo: memFree=1730336/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=6.22
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28311 322 1 0 605 15 1 1 18 0 9 0 27743126 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18438 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=5.8
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22425 322 1 0 567 11 1 1 17 0 9 0 27743127 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4126812151 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.31
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 781 322 0 0 29 0 1 1 16 0 9 0 27743131 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867960
[startup+12.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31490
/proc/meminfo: memFree=1730080/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=12.56
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28331 322 1 0 1239 15 1 1 18 0 9 0 27743126 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18440 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=12.13
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22442 322 1 0 1200 11 1 1 25 0 9 0 27743127 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4126813495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.32
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 784 322 0 0 30 0 1 1 15 0 9 0 27743131 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867960
[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31490
/proc/meminfo: memFree=1730208/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=25.24
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28362 322 1 0 2507 15 1 1 18 0 9 0 27743126 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18449 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=24.79
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22455 322 1 0 2466 11 1 1 25 0 9 0 27743127 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4126781184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.35
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 802 322 0 0 32 1 1 1 16 0 9 0 27743131 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867960
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31490
/proc/meminfo: memFree=1730208/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=50.6
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28376 322 1 0 5043 15 1 1 18 0 9 0 27743126 888791040 18452 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18452 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=50.15
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22465 322 1 0 5001 12 1 1 25 0 9 0 27743127 888791040 18452 996147200 134512640 134550932 4294955968 18446744073709551615 4126781160 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18452 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.38
Current children cumulated vsize (KiB) 867960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1612192/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1592.35
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 159213 20 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1591.89
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 159170 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126787063 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.35
Current children cumulated vsize (KiB) 867960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1612128/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1652.33
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 165211 20 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1651.87
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 165168 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126787056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.33
Current children cumulated vsize (KiB) 867960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1612128/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1712.3
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 171208 20 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1711.84
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 171165 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126786551 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.3
Current children cumulated vsize (KiB) 867960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1611936/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1772.28
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 177206 20 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1771.82
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 177163 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126812817 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.28
Current children cumulated vsize (KiB) 867960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1611872/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1800.08
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 179985 21 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1799.61
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 179942 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126533809 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 867960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31615
/proc/meminfo: memFree=1611872/2055920 swapFree=4192812/4192956
[pid=31477] ppid=31475 vsize=867960 CPUtime=1800.08
/proc/31477/stat : 31477 (java) S 31475 31477 31096 0 -1 0 28409 322 1 0 179985 21 1 1 18 0 9 0 27743126 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31477/statm: 216990 18458 2661 9 0 211426 0
[pid=31477/tid=31478] ppid=31475 vsize=867960 CPUtime=1799.61
/proc/31477/task/31478/stat : 31478 (java) R 31475 31477 31096 0 -1 64 22491 322 1 0 179942 17 1 1 25 0 9 0 27743127 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4126533809 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31480] ppid=31475 vsize=867960 CPUtime=0.09
/proc/31477/task/31480/stat : 31480 (java) S 31475 31477 31096 0 -1 64 4245 322 0 0 7 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31481] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31481/stat : 31481 (java) S 31475 31477 31096 0 -1 64 20 322 0 0 0 0 1 1 16 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31482] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31482/stat : 31482 (java) S 31475 31477 31096 0 -1 64 9 322 0 0 0 0 1 1 15 0 9 0 27743129 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31483] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31483/stat : 31483 (java) S 31475 31477 31096 0 -1 64 1 322 0 0 0 0 1 1 18 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31484] ppid=31475 vsize=867960 CPUtime=0.37
/proc/31477/task/31484/stat : 31484 (java) S 31475 31477 31096 0 -1 64 813 322 0 0 34 1 1 1 16 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31477/tid=31485] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31485/stat : 31485 (java) S 31475 31477 31096 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31477/tid=31486] ppid=31475 vsize=867960 CPUtime=0.02
/proc/31477/task/31486/stat : 31486 (java) S 31475 31477 31096 0 -1 64 17 322 0 0 0 0 1 1 15 0 9 0 27743131 888791040 18458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 867960
Child status: 143
Real time (s): 1810.17
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.233964
CPU usage (%): 99.4467
Max. virtual memory (cumulated for all children) (KiB): 867960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.233964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28762
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= 38127
involuntary context switches= 53232
runsolver used 2.56161 second user time and 5.68214 second system time
The end
Begin job on node35 at 2009-07-12 15:52:47
IDJOB=2095191
IDBENCH=54969
IDSOLVER=773
FILE ID=node35/2095191-1247406767
PBS_JOBID= 9510573
Free space on /tmp= 66304 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/tdsp/normalized-C3-3-30.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095191-1247406767/watcher-2095191-1247406767 -o /tmp/evaluation-result-2095191-1247406767/solver-2095191-1247406767 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095191-1247406767.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 962c59e7592fdf103e8512550f85acb6
RANDOM SEED=1021288132
node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.213
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.213
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: 1794632 kB
Buffers: 35160 kB
Cached: 121648 kB
SwapCached: 0 kB
Active: 135336 kB
Inactive: 72468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1794632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 71464 kB
Slab: 38560 kB
Committed_AS: 1031568 kB
PageTables: 1884 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= 66304 MiB
End job on node35 at 2009-07-12 16:22:59