runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246323-1500707631/watcher-4246323-1500707631 -o /tmp/evaluation-result-4246323-1500707631/solver-4246323-1500707631 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500683413-7988 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246323-1500707631.xml
pid=12032
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 12035
/proc/meminfo: memFree=31774604/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=361196 CPUtime=0 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6028422 369864704 1423 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 90299 1423 1082 1 0 79210 0
[pid=12035/tid=12036] ppid=12032 vsize=361196 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 6028422 369864704 1423 33554432000 4194304 4196468 140732820910144 139754048756128 139754044525186 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[startup+0.100125 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 12035
/proc/meminfo: memFree=31774604/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=10900580 CPUtime=0.09 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 5060 0 0 0 8 1 0 0 20 0 20 0 6028422 11162193920 6189 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2725145 6189 2652 1 0 2713552 0
[pid=12035/tid=12036] ppid=12032 vsize=10900580 CPUtime=0.08 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) R 12032 12035 7553 0 -1 4202560 3144 0 0 0 7 1 0 0 20 0 20 0 6028422 11162193920 6189 33554432000 4194304 4196468 140732820910144 139754048756320 139754044535965 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.200349 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 12035
/proc/meminfo: memFree=31774604/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=10900580 CPUtime=0.27 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 7707 0 0 0 25 2 0 0 20 0 20 0 6028422 11162193920 9113 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2725145 9113 2911 1 0 2713552 0
[pid=12035/tid=12036] ppid=12032 vsize=10900580 CPUtime=0.17 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) R 12032 12035 7553 0 -1 4202560 4896 0 0 0 16 1 0 0 20 0 20 0 6028422 11162193920 9113 33554432000 4194304 4196468 140732820910144 139754048727856 139754044535965 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300339 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 12035
/proc/meminfo: memFree=31774604/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=10969228 CPUtime=0.48 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 8469 0 0 0 45 3 0 0 20 0 21 0 6028422 11232489472 13357 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2742307 13357 3000 1 0 2730193 0
[pid=12035/tid=12036] ppid=12032 vsize=10969228 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11232489472 13357 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700268 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 12035
/proc/meminfo: memFree=31774604/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=10971352 CPUtime=1.69 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 13265 0 0 0 163 6 0 0 20 0 21 0 6028422 11234664448 23986 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2742838 23986 3111 1 0 2730705 0
[pid=12035/tid=12036] ppid=12032 vsize=10971352 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11234664448 23986 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10971352
[startup+1.50075 s]
/proc/loadavg: 2.00 2.01 2.05 3/283 12056
/proc/meminfo: memFree=31628676/32770624 swapFree=5848/231940
[pid=12035] ppid=12032 vsize=10973400 CPUtime=4.46 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 16175 0 0 0 434 12 0 0 20 0 21 0 6028422 11236761600 50734 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 50734 3142 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 50734 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12047/stat : 12047 (java) S 12032 12035 7553 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753519236512 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12048] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12048/stat : 12048 (java) S 12032 12035 7553 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 6028427 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753518183920 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12049] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12049/stat : 12049 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753517132496 139754044532635 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12050] ppid=12032 vsize=10973400 CPUtime=0.73 cores=4-7,12-15
/proc/12035/task/12050/stat : 12050 (java) S 12032 12035 7553 0 -1 1077944384 1475 0 0 0 73 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753516079088 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12051] ppid=12032 vsize=10973400 CPUtime=0.68 cores=4-7,12-15
/proc/12035/task/12051/stat : 12051 (java) R 12032 12035 7553 0 -1 4202560 1149 0 0 0 68 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753515012512 139754029621407 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12052] ppid=12032 vsize=10973400 CPUtime=0.7 cores=4-7,12-15
/proc/12035/task/12052/stat : 12052 (java) R 12032 12035 7553 0 -1 4202560 1212 0 0 0 70 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753513960064 139754026034091 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12053] ppid=12032 vsize=10973400 CPUtime=0.77 cores=4-7,12-15
/proc/12035/task/12053/stat : 12053 (java) R 12032 12035 7553 0 -1 4202560 2523 0 0 0 76 1 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753512920528 139754024468963 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12054] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12054/stat : 12054 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753511869152 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12055] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=1.19 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 3066 0 0 0 116 3 0 0 20 0 21 0 6028449 11236761600 50734 33554432000 4194304 4196468 140732820910144 139753507626288 139753687346752 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10973400
[startup+3.10081 s]
/proc/loadavg: 2.00 2.01 2.05 4/283 12056
/proc/meminfo: memFree=31581736/32770624 swapFree=5848/231980
[pid=12035] ppid=12032 vsize=10973400 CPUtime=6.91 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 16796 0 0 0 679 12 0 0 20 0 21 0 6028422 11236761600 51351 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 51351 3151 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 51351 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12047/stat : 12047 (java) S 12032 12035 7553 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753519236512 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12048] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12048/stat : 12048 (java) S 12032 12035 7553 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 6028427 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753518183920 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12049] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12049/stat : 12049 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753517132496 139754044532635 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12050] ppid=12032 vsize=10973400 CPUtime=1.05 cores=4-7,12-15
/proc/12035/task/12050/stat : 12050 (java) S 12032 12035 7553 0 -1 1077944384 1734 0 0 0 105 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753516079088 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12051] ppid=12032 vsize=10973400 CPUtime=0.9 cores=4-7,12-15
/proc/12035/task/12051/stat : 12051 (java) S 12032 12035 7553 0 -1 1077944384 1189 0 0 0 90 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753515026544 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12052] ppid=12032 vsize=10973400 CPUtime=0.97 cores=4-7,12-15
/proc/12035/task/12052/stat : 12052 (java) S 12032 12035 7553 0 -1 1077944384 1465 0 0 0 97 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753513974000 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12053] ppid=12032 vsize=10973400 CPUtime=0.82 cores=4-7,12-15
/proc/12035/task/12053/stat : 12053 (java) S 12032 12035 7553 0 -1 1077944384 2567 0 0 0 81 1 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753512921456 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12054] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12054/stat : 12054 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753511869152 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12055] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=2.79 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 3090 0 0 0 275 4 0 0 20 0 21 0 6028449 11236761600 51351 33554432000 4194304 4196468 140732820910144 139753507625336 139753687404742 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 10973400
[startup+6.30122 s]
/proc/loadavg: 2.00 2.01 2.05 3/283 12056
/proc/meminfo: memFree=31581092/32770624 swapFree=5848/232008
[pid=12035] ppid=12032 vsize=10973400 CPUtime=10.32 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 21320 0 0 0 1019 13 0 0 20 0 21 0 6028422 11236761600 51568 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 51568 3159 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 51568 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 6028423 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 51568 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
################
# More data... #
################
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1174 0 0 0 22 30 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=2319.22 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 16804 0 0 0 231917 5 0 0 20 0 21 0 6028449 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753507626896 139753681665288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 2338.34
Current children cumulated vsize (KiB) 10973400
[startup+2382.3 s]
/proc/loadavg: 2.00 1.87 1.87 3/283 12215
/proc/meminfo: memFree=31521592/32770624 swapFree=5848/234344
[pid=12035] ppid=12032 vsize=10973400 CPUtime=2398.66 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 67234 0 0 0 239740 126 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 47224 3171 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=1.73 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 2800 0 0 0 162 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 1427 0 0 0 163 8 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=1.77 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 1678 0 0 0 167 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 2230 0 0 0 160 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 3700 0 0 0 161 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=1.73 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 1491 0 0 0 161 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 1231 0 0 0 162 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 1476 0 0 0 160 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 3257 0 0 0 45 7 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12047/stat : 12047 (java) S 12032 12035 7553 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753519236576 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12048] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12048/stat : 12048 (java) S 12032 12035 7553 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 6028427 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753518183936 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12049] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12049/stat : 12049 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753517132496 139754044532635 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12050] ppid=12032 vsize=10973400 CPUtime=1.19 cores=4-7,12-15
/proc/12035/task/12050/stat : 12050 (java) S 12032 12035 7553 0 -1 1077944384 4291 0 0 0 118 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753516079088 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12051] ppid=12032 vsize=10973400 CPUtime=1 cores=4-7,12-15
/proc/12035/task/12051/stat : 12051 (java) S 12032 12035 7553 0 -1 1077944384 3690 0 0 0 100 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753515026544 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12052] ppid=12032 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/12035/task/12052/stat : 12052 (java) S 12032 12035 7553 0 -1 1077944384 5969 0 0 0 115 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753513974000 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12053] ppid=12032 vsize=10973400 CPUtime=0.91 cores=4-7,12-15
/proc/12035/task/12053/stat : 12053 (java) S 12032 12035 7553 0 -1 1077944384 8992 0 0 0 89 2 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753512921456 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12054] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12054/stat : 12054 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753511869152 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12055] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1191 0 0 0 22 30 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=2379.14 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 17185 0 0 0 237909 5 0 0 20 0 21 0 6028449 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753507626896 139753687404704 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 2398.66
Current children cumulated vsize (KiB) 10973400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2383.7 s]
/proc/loadavg: 2.00 1.87 1.87 3/283 12215
/proc/meminfo: memFree=31521592/32770624 swapFree=5848/234344
[pid=12035] ppid=12032 vsize=10973400 CPUtime=2400.09 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 67235 0 0 0 239883 126 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 47224 3171 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=1.74 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 2800 0 0 0 163 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 1427 0 0 0 163 8 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=1.78 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 1678 0 0 0 168 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 2230 0 0 0 160 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 3700 0 0 0 161 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=1.74 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 1491 0 0 0 162 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 1231 0 0 0 162 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 1476 0 0 0 160 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 3257 0 0 0 45 7 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12047/stat : 12047 (java) S 12032 12035 7553 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753519236576 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12048] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12048/stat : 12048 (java) S 12032 12035 7553 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 6028427 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753518183936 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12049] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12049/stat : 12049 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753517132496 139754044532635 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12050] ppid=12032 vsize=10973400 CPUtime=1.19 cores=4-7,12-15
/proc/12035/task/12050/stat : 12050 (java) S 12032 12035 7553 0 -1 1077944384 4291 0 0 0 118 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753516079088 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12051] ppid=12032 vsize=10973400 CPUtime=1 cores=4-7,12-15
/proc/12035/task/12051/stat : 12051 (java) S 12032 12035 7553 0 -1 1077944384 3690 0 0 0 100 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753515026544 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12052] ppid=12032 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/12035/task/12052/stat : 12052 (java) S 12032 12035 7553 0 -1 1077944384 5969 0 0 0 115 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753513974000 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12053] ppid=12032 vsize=10973400 CPUtime=0.91 cores=4-7,12-15
/proc/12035/task/12053/stat : 12053 (java) S 12032 12035 7553 0 -1 1077944384 8992 0 0 0 89 2 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753512921456 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12054] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12054/stat : 12054 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753511869152 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12055] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1191 0 0 0 22 30 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=2380.54 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 17186 0 0 0 238049 5 0 0 20 0 21 0 6028449 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753507626896 139753687404803 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12035 sig 9
??? kill -12035 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2383.7 s]
/proc/loadavg: 2.00 1.87 1.87 3/283 12215
/proc/meminfo: memFree=31521592/32770624 swapFree=5848/234344
[pid=12035] ppid=12032 vsize=10973400 CPUtime=2400.09 cores=4-7,12-15
/proc/12035/stat : 12035 (java) S 12032 12035 7553 0 -1 1077944320 67235 0 0 0 239883 126 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 140732820892688 139754044514039 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
/proc/12035/statm: 2743350 47224 3171 1 0 2731217 0
[pid=12035/tid=12036] ppid=12032 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/12035/task/12036/stat : 12036 (java) S 12032 12035 7553 0 -1 1077944384 5222 0 0 0 23 2 0 0 20 0 21 0 6028422 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754048756912 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12038] ppid=12032 vsize=10973400 CPUtime=1.74 cores=4-7,12-15
/proc/12035/task/12038/stat : 12038 (java) S 12032 12035 7553 0 -1 1077944384 2800 0 0 0 163 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139754009795344 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12039] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12039/stat : 12039 (java) S 12032 12035 7553 0 -1 1077944384 1427 0 0 0 163 8 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753649974160 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12040] ppid=12032 vsize=10973400 CPUtime=1.78 cores=4-7,12-15
/proc/12035/task/12040/stat : 12040 (java) S 12032 12035 7553 0 -1 1077944384 1678 0 0 0 168 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753648921616 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12041] ppid=12032 vsize=10973400 CPUtime=1.71 cores=4-7,12-15
/proc/12035/task/12041/stat : 12041 (java) S 12032 12035 7553 0 -1 1077944384 2230 0 0 0 160 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753647869072 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12042] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12042/stat : 12042 (java) S 12032 12035 7553 0 -1 1077944384 3700 0 0 0 161 11 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753646815504 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12043] ppid=12032 vsize=10973400 CPUtime=1.74 cores=4-7,12-15
/proc/12035/task/12043/stat : 12043 (java) S 12032 12035 7553 0 -1 1077944384 1491 0 0 0 162 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753645762960 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12044] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12044/stat : 12044 (java) S 12032 12035 7553 0 -1 1077944384 1231 0 0 0 162 10 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753644710416 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12045] ppid=12032 vsize=10973400 CPUtime=1.72 cores=4-7,12-15
/proc/12035/task/12045/stat : 12045 (java) S 12032 12035 7553 0 -1 1077944384 1476 0 0 0 160 12 0 0 20 0 21 0 6028423 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753643657872 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12046] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12046/stat : 12046 (java) S 12032 12035 7553 0 -1 1077944384 3257 0 0 0 45 7 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753520290288 139754044525186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12047] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12047/stat : 12047 (java) S 12032 12035 7553 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 6028426 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753519236576 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12048] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12048/stat : 12048 (java) S 12032 12035 7553 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 6028427 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753518183936 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12049] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12049/stat : 12049 (java) S 12032 12035 7553 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753517132496 139754044532635 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12050] ppid=12032 vsize=10973400 CPUtime=1.19 cores=4-7,12-15
/proc/12035/task/12050/stat : 12050 (java) S 12032 12035 7553 0 -1 1077944384 4291 0 0 0 118 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753516079088 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12051] ppid=12032 vsize=10973400 CPUtime=1 cores=4-7,12-15
/proc/12035/task/12051/stat : 12051 (java) S 12032 12035 7553 0 -1 1077944384 3690 0 0 0 100 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753515026544 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12052] ppid=12032 vsize=10973400 CPUtime=1.16 cores=4-7,12-15
/proc/12035/task/12052/stat : 12052 (java) S 12032 12035 7553 0 -1 1077944384 5969 0 0 0 115 1 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753513974000 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12053] ppid=12032 vsize=10973400 CPUtime=0.91 cores=4-7,12-15
/proc/12035/task/12053/stat : 12053 (java) S 12032 12035 7553 0 -1 1077944384 8992 0 0 0 89 2 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753512921456 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12054] ppid=12032 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/12035/task/12054/stat : 12054 (java) S 12032 12035 7553 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753511869152 139754044524245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12055] ppid=12032 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/12035/task/12055/stat : 12055 (java) S 12032 12035 7553 0 -1 1077944384 1191 0 0 0 22 30 0 0 20 0 21 0 6028431 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753510816688 139754044525186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
[pid=12035/tid=12056] ppid=12032 vsize=10973400 CPUtime=2380.54 cores=4-7,12-15
/proc/12035/task/12056/stat : 12056 (java) R 12032 12035 7553 0 -1 4202560 17186 0 0 0 238049 5 0 0 20 0 21 0 6028449 11236761600 47224 33554432000 4194304 4196468 140732820910144 139753507626896 139753687404803 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140732820915395 140732820915524 140732820915524 140732820918223 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400
Child status: 143
Real time (s): 2383.72
CPU time (s): 2400.12
CPU user time (s): 2398.85
CPU system time (s): 1.27128
CPU usage (%): 100.688
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.85
system time used= 1.27128
maximum resident set size= 276580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72915
involuntary context switches= 130438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6266 second user time and 17.4438 second system time
The end