0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2095853-1247408808.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.45 nbVariables=500 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=1000
0.38/0.45 => wckTime=0.212 cpuTime=0.17 mem=8M868
0.38/0.45
0.38/0.45 constraints being loaded...
1.75/1.84 nbConstraints=6068 nbGlobalConstraints=6068 nbSharedBinaryRepresentations=0 minDegree=27 maxDegree=29
1.75/1.84 minArity=2 avgArity=2.37 maxArity=50 nbGenerators=43 nbFusions=0 symmetryWckTime=0.971 symmetryCpuTime=0.35
1.75/1.84 => wckTime=1.605 cpuTime=0.81 mem=37M222
1.85/1.96
1.85/1.96 solver IterativeSystematicSolver being built...
1.95/2.02
1.95/2.03 INFO : Forward propagation technique limited
2.06/2.12 => wckTime=1.883 cpuTime=0.97 mem=25M967
2.06/2.14
2.06/2.15 preprocessing
2.06/2.15 nbConstraintChecks=0 nbPropagations=500 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.06/2.15 detectedInconsistency=no
2.06/2.15 => wckTime=0.019 cpuTime=0.01 mem=25M967
3.35/3.47
3.35/3.48 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M842)
902.84/911.49
902.84/911.49 search
902.84/911.49 run=26 nbConstraintChecks=2954988 minDepth=0 maxDepth=106 nbPropagations=117869964 nbRevisions=0
902.84/911.49 nbUselessRevisions=0 nbAssignments=9003766 nbFailedAssignments=788342 nbBacktracks=8212599
902.84/911.49 nbVisitedNodes=16418447 nbRestartNogoods=212 nbSEliminables=0 nbREliminables=332.51 nbIEliminables=0
902.84/911.49 nbDEliminables=0 nbPEliminables=0
902.84/911.49 => wckTime=909.369 cpuTime=900.75 mem=28M842
902.84/911.49
902.84/911.49 global
902.84/911.49 nbConstraintChecks=2954988 nbPropagations=117870464 nbRestartNogoods=212 solvingWckTime=909.371
902.84/911.49 solvingCpuTime=900.76 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=901.78
902.84/911.49 => wckTime=911.256 cpuTime=901.73 mem=28M842
902.84/911.49
902.84/911.49 s UNSATISFIABLE
902.84/911.50 d NODES 9003766
902.84/911.50 d CHECKS 2954988
902.94/911.50
902.94/911.50 totalWckTime=911.316 totalCpuTime=901.78
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095853-1247408808/watcher-2095853-1247408808 -o /tmp/evaluation-result-2095853-1247408808/solver-2095853-1247408808 -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-2095853-1247408808.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: 1.99 2.01 2.00 4/80 3460
/proc/meminfo: memFree=1489824/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=1616 CPUtime=0
/proc/3460/stat : 3460 (java) R 3458 3460 2209 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 27944697 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 2343866 0 0 4096 0 0 0 0 17 0 0 0
/proc/3460/statm: 404 148 122 9 0 46 0
[startup+0.0604201 s]
/proc/loadavg: 1.99 2.01 2.00 4/80 3460
/proc/meminfo: memFree=1489824/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=864144 CPUtime=0.04
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 2754 0 1 0 3 1 0 0 18 0 9 0 27944697 884883456 2302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 216036 2302 1092 9 0 210929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864144
[startup+0.101423 s]
/proc/loadavg: 1.99 2.01 2.00 4/80 3460
/proc/meminfo: memFree=1489824/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=865980 CPUtime=0.08
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 3785 0 1 0 6 2 0 0 18 0 9 0 27944697 886763520 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 216495 3236 1708 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301441 s]
/proc/loadavg: 1.99 2.01 2.00 4/80 3460
/proc/meminfo: memFree=1489824/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=866296 CPUtime=0.28
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 5697 0 1 0 25 3 0 0 18 0 9 0 27944697 887087104 5100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 216574 5100 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701475 s]
/proc/loadavg: 1.99 2.01 2.00 4/80 3460
/proc/meminfo: memFree=1489824/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=867584 CPUtime=0.67
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 7791 0 1 0 62 5 0 0 18 0 9 0 27944697 888406016 7153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 216896 7153 2005 9 0 211354 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867584
[startup+1.50166 s]
/proc/loadavg: 2.07 2.02 2.00 3/91 3471
/proc/meminfo: memFree=1452808/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868028 CPUtime=0.99
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 13043 0 1 0 91 8 0 0 18 0 10 0 27944697 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217007 12142 2017 9 0 211465 0
[pid=3471] ppid=3460 vsize=4380 CPUtime=0.47
/proc/3471/stat : 3471 (saucy) R 3460 3460 2209 0 -1 4194304 763 0 0 0 47 0 0 0 25 0 1 0 27944797 4485120 734 996147200 134512640 134531332 4294956000 18446744073709551615 4294960144 0 4 0 0 0 0 0 17 1 0 0
/proc/3471/statm: 1095 734 104 4 0 771 0
[pid=3460/tid=3462] ppid=3458 vsize=868028 CPUtime=0.78
/proc/3460/task/3462/stat : 3462 (java) S 3458 3460 2209 0 -1 64 11478 0 1 0 72 6 0 0 15 0 10 0 27944698 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 65 0 0 0 0 0 0 0 16 0 10 0 27944700 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 11 0 0 0 0 0 0 0 19 0 10 0 27944700 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 27944700 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 27944702 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868028 CPUtime=0.18
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 734 0 0 0 18 0 0 0 15 0 10 0 27944702 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 27944702 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 27944702 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3470] ppid=3458 vsize=868028 CPUtime=0
/proc/3460/task/3470/stat : 3470 (java) S 3458 3460 2209 0 -1 64 66 0 0 0 0 0 0 0 23 0 10 0 27944797 888860672 12142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 872408
[startup+3.1027 s]
/proc/loadavg: 2.07 2.02 2.00 4/89 3473
/proc/meminfo: memFree=1439120/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868116 CPUtime=3.05
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23425 921 1 0 236 13 55 1 18 0 9 0 27944697 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217029 15199 2659 9 0 211465 0
[pid=3460/tid=3462] ppid=3458 vsize=868116 CPUtime=2.67
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18392 921 1 0 201 10 55 1 17 0 9 0 27944698 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4127120207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868116 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868116 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868116 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868116 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868116 CPUtime=0.83
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 975 921 0 0 27 0 55 1 16 0 9 0 27944702 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868116 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868116 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 10 921 0 0 0 0 55 1 15 0 9 0 27944702 888950784 15199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868116
[startup+6.30298 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 3473
/proc/meminfo: memFree=1438672/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=6.22
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23574 921 1 0 553 13 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=5.78
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18477 921 1 0 512 10 55 1 21 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4126769114 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868248
[startup+12.7026 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 3473
/proc/meminfo: memFree=1438608/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=12.56
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23576 921 1 0 1187 13 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=12.12
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18479 921 1 0 1146 10 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110806 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868248
[startup+25.5017 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 3473
/proc/meminfo: memFree=1438800/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=25.24
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23578 921 1 0 2455 13 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=24.8
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18481 921 1 0 2414 10 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868248
[startup+51.102 s]
/proc/loadavg: 2.03 2.02 2.00 3/89 3473
/proc/meminfo: memFree=1438800/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=50.6
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23580 921 1 0 4991 13 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=50.16
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18483 921 1 0 4950 10 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127160641 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
################
# More data... #
################
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 88678 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=887.04
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 88637 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 887.49
Current children cumulated vsize (KiB) 868248
[startup+902.303 s]
/proc/loadavg: 2.20 2.08 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=893.83
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 89312 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=893.38
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 89271 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 893.83
Current children cumulated vsize (KiB) 868248
[startup+905.503 s]
/proc/loadavg: 2.20 2.08 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=897
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 89629 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=896.55
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 89588 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127079423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 897
Current children cumulated vsize (KiB) 868248
[startup+908.701 s]
/proc/loadavg: 2.18 2.08 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=900.16
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 89945 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=899.72
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 89905 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127135520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 900.16
Current children cumulated vsize (KiB) 868248
[startup+910.302 s]
/proc/loadavg: 2.18 2.08 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=901.76
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 90105 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=901.31
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 90064 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 901.76
Current children cumulated vsize (KiB) 868248
[startup+911.102 s]
/proc/loadavg: 2.17 2.07 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=902.54
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23588 921 1 0 90183 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=902.1
/proc/3460/task/3462/stat : 3462 (java) R 3458 3460 2209 0 -1 64 18491 921 1 0 90143 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4127110803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 902.54
Current children cumulated vsize (KiB) 868248
[startup+911.503 s]
/proc/loadavg: 2.17 2.07 2.02 3/89 3473
/proc/meminfo: memFree=1438480/2055920 swapFree=4192812/4192956
[pid=3460] ppid=3458 vsize=868248 CPUtime=902.94
/proc/3460/stat : 3460 (java) S 3458 3460 2209 0 -1 0 23603 921 1 0 90223 15 55 1 18 0 9 0 27944697 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3460/statm: 217062 15233 2659 9 0 211498 0
[pid=3460/tid=3462] ppid=3458 vsize=868248 CPUtime=902.49
/proc/3460/task/3462/stat : 3462 (java) D 3458 3460 2209 0 -1 64 18506 921 1 0 90182 11 55 1 25 0 9 0 27944698 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 18446744072099781622 0 0 -1 1 0 0
[pid=3460/tid=3463] ppid=3458 vsize=868248 CPUtime=0.64
/proc/3460/task/3463/stat : 3463 (java) S 3458 3460 2209 0 -1 64 3216 921 0 0 8 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3464] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3464/stat : 3464 (java) S 3458 3460 2209 0 -1 64 20 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3465] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3465/stat : 3465 (java) S 3458 3460 2209 0 -1 64 9 921 0 0 0 0 55 1 16 0 9 0 27944700 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3460/tid=3466] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3466/stat : 3466 (java) S 3458 3460 2209 0 -1 64 2 921 0 0 0 0 55 1 18 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3467] ppid=3458 vsize=868248 CPUtime=0.88
/proc/3460/task/3467/stat : 3467 (java) S 3458 3460 2209 0 -1 64 1008 921 0 0 32 0 55 1 16 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3468] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3468/stat : 3468 (java) S 3458 3460 2209 0 -1 64 0 921 0 0 0 0 55 1 19 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3460/tid=3469] ppid=3458 vsize=868248 CPUtime=0.56
/proc/3460/task/3469/stat : 3469 (java) S 3458 3460 2209 0 -1 64 41 921 0 0 0 0 55 1 15 0 9 0 27944702 889085952 15233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 902.94
Current children cumulated vsize (KiB) 868248
Child status: 0
Real time (s): 911.551
CPU time (s): 902.964
CPU user time (s): 902.787
CPU system time (s): 0.176973
CPU usage (%): 99.058
Max. virtual memory (cumulated for all children) (KiB): 872408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 902.787
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24621
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= 19477
involuntary context switches= 39579
runsolver used 1.17482 second user time and 2.98055 second system time
The end
Begin job on node43 at 2009-07-12 16:26:48
IDJOB=2095853
IDBENCH=55784
IDSOLVER=773
FILE ID=node43/2095853-1247408808
PBS_JOBID= 9510557
Free space on /tmp= 66256 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-pigeon-clauses-25-20.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-2095853-1247408808/watcher-2095853-1247408808 -o /tmp/evaluation-result-2095853-1247408808/solver-2095853-1247408808 -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-2095853-1247408808.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54884e30cd74fd87585bd325880eb693
RANDOM SEED=881668945
node43.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 : 5931.00
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: 1490240 kB
Buffers: 81432 kB
Cached: 343636 kB
SwapCached: 0 kB
Active: 235512 kB
Inactive: 241784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1490240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3020 kB
Writeback: 0 kB
Mapped: 72696 kB
Slab: 73424 kB
Committed_AS: 1030308 kB
PageTables: 1936 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= 66252 MiB
End job on node43 at 2009-07-12 16:42:00