0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-1078386-1215206742.xml
0.29/0.36
0.29/0.36 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.29/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.39 => wckTime=0.148 cpuTime=0.09 mem=7M919
0.29/0.39
0.29/0.39 relations being loaded...
0.68/0.73
0.68/0.73 constraints being loaded...
0.87/0.97 nbConstraints=57 nbRelationTypes=57 nbGlobalConstraints=57 nbExtensionStructures=57
0.87/0.97 nbSharedExtensionStructures=0 nbConflictsStructures=57 nbSharedConflictsStructures=0
0.87/0.97 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=12 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.87/0.97 symmetryWckTime=0.045 symmetryCpuTime=0.02
0.87/0.97 => wckTime=0.725 cpuTime=0.6 mem=46M230
0.97/1.10
0.97/1.10 solver IterativeSystematicSolver being built...
1.06/1.18
1.06/1.18 INFO : Forward propagation technique limited
1.16/1.25 => wckTime=1.01 cpuTime=0.73 mem=29M38
1.26/1.38
1.26/1.38 preprocessing
1.26/1.38 nbConstraintChecks=0 nbValidityChecks=1254674 nbPropagations=166 nbRevisions=0 nbUselessRevisions=0
1.26/1.38 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.26/1.38 detectedInconsistency=no
1.26/1.38 => wckTime=0.127 cpuTime=0.1 mem=29M38
1.95/2.05
1.95/2.05 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M5)
455.17/457.97
455.17/457.97 search
455.17/457.97 run=22 nbConstraintChecks=3098101 nbValidityChecks=6233368860 minDepth=0 maxDepth=20 nbPropagations=11421881
455.17/457.97 nbRevisions=0 nbUselessRevisions=0 nbAssignments=335559 nbFailedAssignments=221995 nbBacktracks=113429
455.17/457.97 nbVisitedNodes=642351 nbRestartNogoods=257 nbFoundSolutions=1 nbSEliminables=0.09 nbREliminables=3.21
455.17/457.97 nbIEliminables=10.54 nbDEliminables=0 nbPEliminables=0
455.17/457.97 => wckTime=456.712 cpuTime=453.9 mem=38M559
455.17/457.97
455.17/457.97 global
455.17/457.97 nbConstraintChecks=3098101 nbValidityChecks=6234623534 nbPropagations=11422047 nbRestartNogoods=257
455.17/457.97 solvingWckTime=456.716 solvingCpuTime=453.9 expiredTime=no totalExploration=no nbFoundSolutions=1
455.17/457.97 firstSolutionCpuTime=454.63 globalCpuTime=454.69
455.17/457.97 => wckTime=457.728 cpuTime=454.63 mem=38M559
455.17/457.97
455.17/457.97 s SATISFIABLE
455.17/457.97 v 14 3 1 10 16 3 13 17 7 7 2 18 15 12 8 10 9 2 1 10
455.17/457.97 d NODES 335559
455.17/457.97 d CHECKS 3098101
455.17/457.97
455.17/457.97 totalWckTime=457.786 totalCpuTime=454.7
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078386-1215206742/watcher-1078386-1215206742 -o /tmp/evaluation-result-1078386-1215206742/solver-1078386-1215206742 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078386-1215206742.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=1616 CPUtime=0
/proc/7557/stat : 7557 (java) D 7555 7557 5830 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1550341849 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 68 37 28 9 0 6 0
[startup+0.098061 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=865884 CPUtime=0.08
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 3683 0 1 0 6 2 0 0 18 0 9 0 1550341849 886665216 3158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216471 3158 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.102055 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=865884 CPUtime=0.09
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 3714 0 1 0 7 2 0 0 18 0 9 0 1550341849 886665216 3180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216471 3180 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.307259 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=866196 CPUtime=0.29
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 5619 0 1 0 25 4 0 0 18 0 9 0 1550341849 886984704 5033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216549 5033 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.702142 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=866408 CPUtime=0.68
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 10395 0 1 0 61 7 0 0 18 0 9 0 1550341849 887201792 9765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216602 9765 1968 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50225 s]
/proc/loadavg: 2.00 2.00 1.99 5/82 7570
/proc/meminfo: memFree=1307032/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867264 CPUtime=1.45
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27287 268 1 0 132 13 0 0 18 0 9 0 1550341849 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216816 18361 2631 9 0 211322 0
[pid=7557/tid=7559] ppid=7555 vsize=867264 CPUtime=1.15
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18807 268 1 0 106 9 0 0 25 0 9 0 1550341850 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4126747296 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867264 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 18 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867264 CPUtime=0.16
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 501 268 0 0 16 0 0 0 15 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 16 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867264
[startup+3.10174 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295448/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867264 CPUtime=3.05
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27321 268 1 0 291 14 0 0 18 0 9 0 1550341849 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216816 18381 2631 9 0 211322 0
[pid=7557/tid=7559] ppid=7555 vsize=867264 CPUtime=2.7
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18820 268 1 0 261 9 0 0 25 0 9 0 1550341850 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4126735603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867264 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867264 CPUtime=0.19
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 522 268 0 0 19 0 0 0 15 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 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) 867264
[startup+6.30286 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295192/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=6.21
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27353 268 1 0 607 14 0 0 18 0 9 0 1550341849 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18395 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=5.84
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18835 268 1 0 575 9 0 0 25 0 9 0 1550341850 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4126735603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.22
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 539 268 0 0 22 0 0 0 15 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867396
[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1294944/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=12.55
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27377 268 1 0 1241 14 0 0 18 0 9 0 1550341849 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18398 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=12.17
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18855 268 1 0 1208 9 0 0 25 0 9 0 1550341850 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4126746715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 543 268 0 0 23 0 0 0 15 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867396
[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=25.23
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27410 268 1 0 2509 14 0 0 18 0 9 0 1550341849 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18400 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=24.85
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18886 268 1 0 2475 10 0 0 25 0 9 0 1550341850 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4126746948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 545 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867396
[startup+51.1026 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1294944/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=50.58
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27506 268 1 0 5044 14 0 0 18 0 9 0 1550341849 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18400 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=50.2
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18981 268 1 0 5010 10 0 0 25 0 9 0 1550341850 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4126735642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
################
# More data... #
################
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28809 268 1 0 44499 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=444.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20284 268 1 0 44465 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126747008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.17
Current children cumulated vsize (KiB) 867396
[startup+454.311 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436576/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=451.58
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28822 268 1 0 45140 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=451.19
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20297 268 1 0 45106 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126747087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 451.58
Current children cumulated vsize (KiB) 867396
[startup+455.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436448/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=453.17
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28828 268 1 0 45299 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=452.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20303 268 1 0 45265 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746945 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.17
Current children cumulated vsize (KiB) 867396
[startup+456.701 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=453.97
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28832 268 1 0 45379 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=453.58
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20307 268 1 0 45345 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746803 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (KiB) 867396
[startup+457.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=454.77
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28836 268 1 0 45459 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.38
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20311 268 1 0 45425 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746695 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 454.77
Current children cumulated vsize (KiB) 867396
[startup+457.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=455.17
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28837 268 1 0 45499 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20312 268 1 0 45465 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746721 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.17
Current children cumulated vsize (KiB) 867396
[startup+458.001 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=455.24
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28935 268 1 0 45506 18 0 0 18 0 9 0 1550341849 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18405 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.86
/proc/7557/task/7559/stat : 7559 (java) S 7555 7557 5830 0 -1 64 20410 268 1 0 45472 14 0 0 25 0 9 0 1550341850 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.24
Current children cumulated vsize (KiB) 867396
Child status: 0
Real time (s): 458.03
CPU time (s): 455.275
CPU user time (s): 455.068
CPU system time (s): 0.206968
CPU usage (%): 99.3984
Max. virtual memory (cumulated for all children) (KiB): 867396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.068
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29232
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= 10284
involuntary context switches= 13710
runsolver used 0.601908 second user time and 1.50577 second system time
The end
Begin job on node40 at 2008-07-04 23:25:42
IDJOB=1078386
IDBENCH=56784
IDSOLVER=364
FILE ID=node40/1078386-1215206742
PBS_JOBID= 7881668
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078386-1215206742/watcher-1078386-1215206742 -o /tmp/evaluation-result-1078386-1215206742/solver-1078386-1215206742 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078386-1215206742.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ac116e5ecbd6a3660767e6a5e97fc106
RANDOM SEED=1124886983
node40.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.209
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.209
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: 1359488 kB
Buffers: 73020 kB
Cached: 325920 kB
SwapCached: 91204 kB
Active: 527656 kB
Inactive: 119900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1359488 kB
SwapTotal: 4192956 kB
SwapFree: 4095852 kB
Dirty: 3216 kB
Writeback: 0 kB
Mapped: 255708 kB
Slab: 33724 kB
Committed_AS: 3202588 kB
PageTables: 2364 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= 66536 MiB
End job on node40 at 2008-07-04 23:33:20