0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/233224-1168325057/unknown.xml
0.35
0.35 domains being loaded...
0.41
0.41 variables being loaded...
0.52 nbVariables=400 nbDomainTypes=400 minDomainSize=1277 maxDomainSize=1375
0.52 => wckTime=0.225 cpuTime=0.17 mem=20M639
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
203.66
203.66 INFO : Stopping converting binary constraints (cpu=200.33, mem = 258M964)
204.82 nbConstraints=7600 nbConvertedConstraints=485 nbConvertConstraintsChecks=858725330 nbExtensionStructures=485
204.82 nbSharedExtensionStructures=0 nbConflictsStructures=485 nbSharedConflictsStructures=0
204.82 nbSharedBinaryRepresentations=356860 nbEvaluationManagers=7115 nbSharedEvaluationManagers=0 maxDegree=38
204.82 maxArity=2
204.82 => wckTime=204.528 cpuTime=201.11 mem=293M359
205.47
205.47 solver IterativeSystematicSolver being built...
205.92 => wckTime=205.623 cpuTime=201.41 mem=349M103
375.09
375.09 INFO : Stopping ESAC
375.09
375.09 preprocessing
375.09 nbConstraintChecks=436067997 nbValidityChecks=273711748 nbPropagations=12874 nbRevisions=332894
375.09 nbUselessRevisions=320921 nbSingletonTests=659 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
375.09 detectedInconsistency=no
375.09 => wckTime=169.146 cpuTime=168.91 mem=349M103
435.76
435.76 search
435.76 run=0 nbConstraintChecks=136936386 nbValidityChecks=132178981 nbPropagations=19253 nbRevisions=493966
435.76 nbUselessRevisions=475995 nbAssignments=400 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=401
435.76 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=86
435.76 => wckTime=229.816 cpuTime=229.51 mem=359M373
435.76
435.76 global
435.76 nbConstraintChecks=573004383 nbValidityChecks=405890729 nbPropagations=32127 nbRevisions=826860
435.76 nbUselessRevisions=796916 nbRestartNogoods=0 solvingWckTime=229.817 solvingCpuTime=229.51 expiredTime=no
435.76 totalExploration=no nbFoundSolutions=1 globalCpuTime=430.98
435.76 => wckTime=435.465 cpuTime=430.94 mem=359M373
435.76
435.76 s SATISFIABLE
435.76 v 1197 780 174 703 896 90 900 248 64 1007 953 439 505 0 330 559 1042 591 94 359 188 724 326 810 1106 1001 1335 1277 894 0 1254 629 923 252 258 879 421 96 515 568 426 920 96 595 1125 359 963 1010 496 437 863 274 194 0 900 803 1078 941 695 612 1249 642 848 253 936 90 139 1040 448 0 514 1148 932 1070 352 780 703 602 956 96 1188 613 327 403 138 191 657 164 682 528 1013 1286 929 259 484 846 775 353 0 1089 916 256 1029 77 1125 0 846 752 1276 539 935 658 1228 643 176 784 152 489 426 1327 1327 1270 539 448 780 742 867 829 806 167 0 612 69 262 856 876 682 1286 356 844 845 257 1167 1299 191 617 586 0 705 847 434 500 599 98 1001 1078 543 780 351 863 742 0 707 753 1242 916 515 689 806 188 351 1207 979 1089 900 413 151 157 260 595 610 333 1167 519 1127 0 174 399 79 1069 1013 98 431 855 923 1194 696 780 234 215 87 327 497 458 783 183 997 974 931 658 267 1250 0 1061 705 414 920 559 863 1179 592 397 78 662 137 691 494 262 0 1047 1128 159 818 352 1188 1290 259 643 1248 901 447 194 98 1069 258 267 505 991 1106 439 1246 575 598 1168 775 246 695 351 896 0 414 0 353 575 991 974 707 403 870 194 500 662 262 257 801 936 1327 1190 752 98 312 397 1232 1126 606 806 471 0 543 69 997 734 234 780 693 750 642 152 674 708 826 1128 437 1079 953 1167 870 617 497 1270 568 260 718 696 778 356 0 94 1016 174 98 496 935 359 1242 994 848 1153 763 274 693 1071 0 1330 183 646 455 89 684 569 253 79 327 803 1351 594 810 543 618 443 896 763 979 174 624 0 855 1289 708 414 434 139 1248 856 1289 1078 630 724 311 519 327 960 1167 0 537 1004 150 562 87 758 956 1024 243 98 149 66 630 455 358 327 836 167 1153 471 806 708 569 0 844 1116
435.76 d NODES 400
435.76 d CHECKS 573004383
435.76
435.76 totalWckTime=435.541 totalCpuTime=430.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-233224-1168325057 -o ROOT/results/node15/solver-233224-1168325057 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233224-1168325057/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=172 CPUtime=0
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 180900607 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512363 0 0 4096 0 0 0 0 17 0 0 0
/proc/31503/statm: 43 24 18 14 0 3 0
[startup+0.107312 s]
/proc/loadavg: 2.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=914988 CPUtime=0.09
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 3065 0 1 0 8 1 0 0 24 0 8 0 180900607 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515384 s]
/proc/loadavg: 2.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915328 CPUtime=0.49
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 9091 0 1 0 45 4 0 0 25 0 8 0 180900607 937295872 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228832 8830 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33852 s]
/proc/loadavg: 2.02 2.10 2.02 3/100 31511
/proc/meminfo: memFree=1342232/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=1.31
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20249 0 1 0 121 10 0 0 25 0 8 0 180900607 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19987 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.15
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 402 0 0 0 14 1 0 0 16 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
[startup+2.98781 s]
/proc/loadavg: 2.02 2.10 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=2.95
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 285 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632
[startup+6.27438 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=6.21
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 611 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632
[startup+12.7685 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=12.65
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 1255 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 17 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915632
[startup+25.6137 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1317144/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=25.44
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 26538 0 1 0 2532 12 0 0 25 0 8 0 180900607 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 26274 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.19
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 9938 0 0 0 16 3 0 0 16 0 8 0 180900611 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 406 0 0 0 15 1 0 0 17 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915632
[startup+51.2401 s]
/proc/loadavg: 2.00 2.08 2.01 3/100 31511
/proc/meminfo: memFree=1317144/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=50.94
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 26549 0 1 0 5081 13 0 0 25 0 8 0 180900607 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 26285 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.19
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 9938 0 0 0 16 3 0 0 16 0 8 0 180900611 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.17
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 417 0 0 0 16 1 0 0 17 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915632
[startup+102.486 s]
/proc/loadavg: 2.20 2.11 2.03 3/100 31511
/proc/meminfo: memFree=1237848/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=101.88
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 46320 0 1 0 10167 21 0 0 25 0 8 0 180900607 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 46053 2179 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.86
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 29699 0 0 0 77 9 0 0 16 0 8 0 180900611 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.18
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915632
[startup+162.577 s]
/proc/loadavg: 2.07 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1165016/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=161.65
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 64490 0 1 0 16137 28 0 0 25 0 8 0 180900607 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 64221 2179 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=1.45
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 47867 0 0 0 130 15 0 0 16 0 8 0 180900611 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.18
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915632
[startup+222.675 s]
/proc/loadavg: 2.02 2.07 2.01 3/94 32193
/proc/meminfo: memFree=1220104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=221.5
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96393 0 1 0 22104 46 0 0 25 0 8 0 180900607 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96113 2545 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.27
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 482 0 0 0 26 1 0 0 16 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.5
Current children cumulated vsize (KiB) 915632
[startup+282.727 s]
/proc/loadavg: 2.08 2.07 2.01 3/94 32193
/proc/meminfo: memFree=1220360/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=281.46
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96405 0 1 0 28100 46 0 0 25 0 8 0 180900607 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96118 2545 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.28
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 491 0 0 0 27 1 0 0 15 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.46
Current children cumulated vsize (KiB) 915632
[startup+342.773 s]
/proc/loadavg: 2.03 2.05 2.01 3/94 32193
/proc/meminfo: memFree=1220424/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=341.45
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96413 0 1 0 34099 46 0 0 25 0 8 0 180900607 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96124 2547 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.29
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 495 0 0 0 28 1 0 0 17 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.45
Current children cumulated vsize (KiB) 915632
[startup+402.81 s]
/proc/loadavg: 2.01 2.04 2.00 3/94 32193
/proc/meminfo: memFree=1220424/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=401.44
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96424 0 1 0 40097 47 0 0 25 0 8 0 180900607 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96131 2547 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.3
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 502 0 0 0 29 1 0 0 15 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.44
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 435.87
CPU time (s): 434.42
CPU user time (s): 433.881
CPU system time (s): 0.538918
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.881
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96434
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= 10345
involuntary context switches= 14620
runsolver used 0.644901 s user time and 1.2948 s system time
The end
Begin job on node15 on Tue Jan 9 06:44:18 UTC 2007
IDJOB= 233224
IDBENCH= 6588
FILE ID= node15/233224-1168325057
PBS_JOBID= 3502744
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233224-1168325057/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-233224-1168325057 -o ROOT/results/node15/solver-233224-1168325057 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233224-1168325057/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= af76b8d5f9d1f307c434b42c9d393cf0
RANDOM SEED= 530893775
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.276
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.276
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: 1414320 kB
Buffers: 45796 kB
Cached: 182732 kB
SwapCached: 6072 kB
Active: 453712 kB
Inactive: 132904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1414320 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2772 kB
Writeback: 0 kB
Mapped: 377840 kB
Slab: 38980 kB
Committed_AS: 6416180 kB
PageTables: 3064 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= 66534 MiB
End job on node15 on Tue Jan 9 06:51:34 UTC 2007