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-4245912-1500686720/watcher-4245912-1500686720 -o /tmp/evaluation-result-4245912-1500686720/solver-4245912-1500686720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1368293434 HOME/instance-4245912-1500686720.xml
pid=3828
running on 8 cores: 1,3,5,7,9,11,13,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: 12.43 14.44 14.67 10/271 3831
/proc/meminfo: memFree=27679520/32770624 swapFree=5804/254048
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[startup+0.100096 s]
/proc/loadavg: 12.43 14.44 14.67 10/271 3831
/proc/meminfo: memFree=27679520/32770624 swapFree=5804/254048
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200309 s]
/proc/loadavg: 12.43 14.44 14.67 10/271 3831
/proc/meminfo: memFree=27679520/32770624 swapFree=5804/254048
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300241 s]
/proc/loadavg: 12.43 14.44 14.67 10/271 3831
/proc/meminfo: memFree=27679520/32770624 swapFree=5804/254048
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700223 s]
/proc/loadavg: 12.43 14.44 14.67 10/271 3831
/proc/meminfo: memFree=27679520/32770624 swapFree=5804/254048
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50096 s]
/proc/loadavg: 12.23 14.37 14.65 13/292 3852
/proc/meminfo: memFree=27489812/32770624 swapFree=5804/254076
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3832] ppid=3831 vsize=13269256 CPUtime=5.65 cores=1,3,5,7,9,11,13,15
/proc/3832/stat : 3832 (java) S 3831 3831 14782 0 -1 1077944320 24201 0 0 0 539 26 0 0 20 0 20 0 3938272 13587718144 61654 33554432000 4194304 4196468 140724540955952 140724540938496 139750164786935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
/proc/3832/statm: 3317314 61654 3246 1 0 3304547 0
[pid=3832/tid=3833] ppid=3831 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3833/stat : 3833 (java) R 3831 3831 14782 0 -1 4202560 7399 0 0 0 135 5 0 0 20 0 20 0 3938272 13587718144 61654 33554432000 4194304 4196468 140724540955952 139750169022312 139749802024936 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3835] ppid=3831 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3835/stat : 3835 (java) S 3831 3831 14782 0 -1 1077944384 44 0 0 0 4 2 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139750117407888 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3836] ppid=3831 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3836/stat : 3836 (java) S 3831 3831 14782 0 -1 1077944384 40 0 0 0 3 3 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749762726928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3837] ppid=3831 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3837/stat : 3837 (java) S 3831 3831 14782 0 -1 1077944384 114 0 0 0 3 1 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749761674128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3838] ppid=3831 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3838/stat : 3838 (java) S 3831 3831 14782 0 -1 1077944384 238 0 0 0 2 2 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749760621328 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3839] ppid=3831 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3839/stat : 3839 (java) S 3831 3831 14782 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749759568528 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3840] ppid=3831 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3840/stat : 3840 (java) S 3831 3831 14782 0 -1 1077944384 115 0 0 0 3 1 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749758515728 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3841] ppid=3831 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3841/stat : 3841 (java) S 3831 3831 14782 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749757462928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3842] ppid=3831 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3842/stat : 3842 (java) S 3831 3831 14782 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 20 0 3938273 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749756410128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3843] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3843/stat : 3843 (java) S 3831 3831 14782 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 20 0 3938275 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749627030384 139750164798082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3844] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3938276 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 3938276 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3847] ppid=3831 vsize=13269256 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3847/stat : 3847 (java) R 3831 3831 14782 0 -1 4202560 4754 0 0 0 110 1 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749622805208 139750149666969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3848] ppid=3831 vsize=13269256 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3848/stat : 3848 (java) R 3831 3831 14782 0 -1 4202560 3114 0 0 0 105 0 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749621747680 139750148270420 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3849] ppid=3831 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3849/stat : 3849 (java) R 3831 3831 14782 0 -1 4202560 3464 0 0 0 107 0 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749620698896 139750149913370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3850] ppid=3831 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3850/stat : 3850 (java) S 3831 3831 14782 0 -1 1077944384 3173 0 0 0 54 1 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749619660784 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3851] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3851/stat : 3851 (java) S 3831 3831 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749618609248 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3852] ppid=3831 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3852/stat : 3852 (java) S 3831 3831 14782 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3938280 13587718144 61654 33554432000 4194304 4196468 140724540955952 139749617556528 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 13278768
[startup+3.10119 s]
/proc/loadavg: 12.23 14.37 14.65 17/292 3852
/proc/meminfo: memFree=27224328/32770624 swapFree=5804/254076
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3832] ppid=3831 vsize=13801768 CPUtime=12.72 cores=1,3,5,7,9,11,13,15
/proc/3832/stat : 3832 (java) S 3831 3831 14782 0 -1 1077944320 28315 0 0 0 1178 94 0 0 20 0 28 0 3938272 14133010432 144432 33554432000 4194304 4196468 140724540955952 140724540938496 139750164786935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
/proc/3832/statm: 3450442 144432 3250 1 0 3437675 0
[pid=3832/tid=3833] ppid=3831 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3833/stat : 3833 (java) S 3831 3831 14782 0 -1 1077944384 8840 0 0 0 230 7 0 0 20 0 28 0 3938272 14133010432 144432 33554432000 4194304 4196468 140724540955952 139750169027712 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3835] ppid=3831 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3835/stat : 3835 (java) S 3831 3831 14782 0 -1 1077944384 113 0 0 0 12 10 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139750117407888 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3836] ppid=3831 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3836/stat : 3836 (java) S 3831 3831 14782 0 -1 1077944384 106 0 0 0 11 11 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749762726928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3837] ppid=3831 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3837/stat : 3837 (java) S 3831 3831 14782 0 -1 1077944384 205 0 0 0 12 9 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749761674128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3838] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3838/stat : 3838 (java) S 3831 3831 14782 0 -1 1077944384 315 0 0 0 9 10 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749760621328 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3839] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3839/stat : 3839 (java) S 3831 3831 14782 0 -1 1077944384 107 0 0 0 10 9 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749759568528 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3840] ppid=3831 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3840/stat : 3840 (java) S 3831 3831 14782 0 -1 1077944384 187 0 0 0 12 9 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749758515728 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3841] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3841/stat : 3841 (java) S 3831 3831 14782 0 -1 1077944384 208 0 0 0 10 9 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749757462928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3842] ppid=3831 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3842/stat : 3842 (java) S 3831 3831 14782 0 -1 1077944384 98 0 0 0 12 11 0 0 20 0 28 0 3938273 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749756410128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3843] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3843/stat : 3843 (java) S 3831 3831 14782 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 28 0 3938275 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749627030384 139750164798082 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3844] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3847] ppid=3831 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3847/stat : 3847 (java) R 3831 3831 14782 0 -1 4202560 4960 0 0 0 177 1 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749622819480 139750150815504 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3848] ppid=3831 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3848/stat : 3848 (java) R 3831 3831 14782 0 -1 4202560 3384 0 0 0 171 0 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749621752672 139750157892652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3849] ppid=3831 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3849/stat : 3849 (java) R 3831 3831 14782 0 -1 4202560 4080 0 0 0 177 0 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749620694600 139750148272949 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3850] ppid=3831 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3850/stat : 3850 (java) S 3831 3831 14782 0 -1 1077944384 3590 0 0 0 74 1 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749619660784 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3851] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3851/stat : 3851 (java) S 3831 3831 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749618609248 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3852] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3852/stat : 3852 (java) S 3831 3831 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 144432 33554432000 4194304 4196468 140724540955952 139749617556528 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 12.45 14.38 14.65 22/300 3860
/proc/meminfo: memFree=27068184/32770624 swapFree=5804/254088
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3832] ppid=3831 vsize=13801768 CPUtime=38.14 cores=1,3,5,7,9,11,13,15
/proc/3832/stat : 3832 (java) S 3831 3831 14782 0 -1 1077944320 37372 0 0 0 3716 98 0 0 20 0 28 0 3938272 14133010432 159498 33554432000 4194304 4196468 140724540955952 140724540938496 139750164786935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
/proc/3832/statm: 3450442 159498 3281 1 0 3437675 0
[pid=3832/tid=3833] ppid=3831 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3833/stat : 3833 (java) S 3831 3831 14782 0 -1 1077944384 8840 0 0 0 230 7 0 0 20 0 28 0 3938272 14133010432 159498 33554432000 4194304 4196468 140724540955952 139750169027712 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3835] ppid=3831 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3835/stat : 3835 (java) S 3831 3831 14782 0 -1 1077944384 113 0 0 0 12 10 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139750117407888 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3836] ppid=3831 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3836/stat : 3836 (java) S 3831 3831 14782 0 -1 1077944384 106 0 0 0 11 11 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749762726928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3837] ppid=3831 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3837/stat : 3837 (java) S 3831 3831 14782 0 -1 1077944384 205 0 0 0 12 9 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749761674128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3838] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3838/stat : 3838 (java) S 3831 3831 14782 0 -1 1077944384 315 0 0 0 9 10 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749760621328 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3839] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3839/stat : 3839 (java) S 3831 3831 14782 0 -1 1077944384 107 0 0 0 10 9 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749759568528 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3840] ppid=3831 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3840/stat : 3840 (java) S 3831 3831 14782 0 -1 1077944384 187 0 0 0 12 9 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749758515728 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3841] ppid=3831 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3841/stat : 3841 (java) S 3831 3831 14782 0 -1 1077944384 208 0 0 0 10 9 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749757462928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3842] ppid=3831 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3842/stat : 3842 (java) S 3831 3831 14782 0 -1 1077944384 98 0 0 0 12 11 0 0 20 0 28 0 3938273 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749756410128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3843] ppid=3831 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3843/stat : 3843 (java) S 3831 3831 14782 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 28 0 3938275 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749627030384 139750164798082 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3844] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 159498 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
################
# More data... #
################
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3847] ppid=3831 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3847/stat : 3847 (java) S 3831 3831 14782 0 -1 1077944384 9193 0 0 0 252 2 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749622819184 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3848] ppid=3831 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3848/stat : 3848 (java) S 3831 3831 14782 0 -1 1077944384 7968 0 0 0 269 0 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749621766384 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3849] ppid=3831 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3849/stat : 3849 (java) S 3831 3831 14782 0 -1 1077944384 7236 0 0 0 253 1 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749620713584 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3850] ppid=3831 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3850/stat : 3850 (java) S 3831 3831 14782 0 -1 1077944384 4405 0 0 0 92 1 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749619660784 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3851] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3851/stat : 3851 (java) S 3831 3831 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749618609248 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3852] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3852/stat : 3852 (java) S 3831 3831 14782 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749617556528 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3853] ppid=3831 vsize=13801768 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3853/stat : 3853 (java) R 3831 3831 14782 0 -1 4202560 460 0 0 0 932 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749609540840 139749804180529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3854] ppid=3831 vsize=13801768 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3854/stat : 3854 (java) R 3831 3831 14782 0 -1 4202560 303 0 0 0 953 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749608489048 139749804785334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3855] ppid=3831 vsize=13801768 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3855/stat : 3855 (java) R 3831 3831 14782 0 -1 4202560 381 0 0 0 947 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749607436248 139749804180582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3856] ppid=3831 vsize=13801768 CPUtime=9.45 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3856/stat : 3856 (java) R 3831 3831 14782 0 -1 4202560 1019 0 0 0 942 3 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749606384136 139749804180725 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3857] ppid=3831 vsize=13801768 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3857/stat : 3857 (java) R 3831 3831 14782 0 -1 4202560 397 0 0 0 939 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749605330648 139749804455414 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3858] ppid=3831 vsize=13801768 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3858/stat : 3858 (java) R 3831 3831 14782 0 -1 4202560 368 0 0 0 952 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749604277992 139749804457555 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3859] ppid=3831 vsize=13801768 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3859/stat : 3859 (java) R 3831 3831 14782 0 -1 4202560 224 0 0 0 962 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749603225968 139749804290702 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3860] ppid=3831 vsize=13801768 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3860/stat : 3860 (java) R 3831 3831 14782 0 -1 4202560 199 0 0 0 957 0 0 0 20 0 28 0 3938536 14133010432 195937 33554432000 4194304 4196468 140724540955952 139749602173320 139749804455362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (KiB) 13811280
[startup+13.2015 s]
/proc/loadavg: 12.74 14.41 14.65 17/300 3860
/proc/meminfo: memFree=26903168/32770624 swapFree=5804/254096
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3832] ppid=3831 vsize=13801768 CPUtime=93.09 cores=1,3,5,7,9,11,13,15
/proc/3832/stat : 3832 (java) S 3831 3831 14782 0 -1 1077944320 47960 0 0 0 9158 151 0 0 20 0 28 0 3938272 14133010432 195941 33554432000 4194304 4196468 140724540955952 140724540938496 139750164786935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
/proc/3832/statm: 3450442 195941 3285 1 0 3437675 0
[pid=3832/tid=3833] ppid=3831 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3833/stat : 3833 (java) S 3831 3831 14782 0 -1 1077944384 8840 0 0 0 230 7 0 0 20 0 28 0 3938272 14133010432 195941 33554432000 4194304 4196468 140724540955952 139750169027712 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3835] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3835/stat : 3835 (java) S 3831 3831 14782 0 -1 1077944384 191 0 0 0 19 16 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139750117407888 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3836] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3836/stat : 3836 (java) S 3831 3831 14782 0 -1 1077944384 222 0 0 0 18 17 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749762726928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3837] ppid=3831 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3837/stat : 3837 (java) S 3831 3831 14782 0 -1 1077944384 1275 0 0 0 19 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749761674128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3838] ppid=3831 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3838/stat : 3838 (java) S 3831 3831 14782 0 -1 1077944384 436 0 0 0 16 16 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749760621328 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3839] ppid=3831 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3839/stat : 3839 (java) S 3831 3831 14782 0 -1 1077944384 458 0 0 0 17 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749759568528 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3840] ppid=3831 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3840/stat : 3840 (java) S 3831 3831 14782 0 -1 1077944384 337 0 0 0 19 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749758515728 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3841] ppid=3831 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3841/stat : 3841 (java) S 3831 3831 14782 0 -1 1077944384 397 0 0 0 16 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749757462928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3842] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3842/stat : 3842 (java) S 3831 3831 14782 0 -1 1077944384 203 0 0 0 18 17 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749756410128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3843] ppid=3831 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3843/stat : 3843 (java) S 3831 3831 14782 0 -1 1077944384 1079 0 0 0 1 1 0 0 20 0 28 0 3938275 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749627030384 139750164798082 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3844] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3847] ppid=3831 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3847/stat : 3847 (java) S 3831 3831 14782 0 -1 1077944384 9353 0 0 0 253 2 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749622819184 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3848] ppid=3831 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3848/stat : 3848 (java) S 3831 3831 14782 0 -1 1077944384 7968 0 0 0 269 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749621766384 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3849] ppid=3831 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3849/stat : 3849 (java) S 3831 3831 14782 0 -1 1077944384 7352 0 0 0 253 1 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749620713584 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3850] ppid=3831 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3850/stat : 3850 (java) S 3831 3831 14782 0 -1 1077944384 4405 0 0 0 92 1 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749619660784 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3851] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3851/stat : 3851 (java) S 3831 3831 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749618609248 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3852] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3852/stat : 3852 (java) S 3831 3831 14782 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749617556528 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3853] ppid=3831 vsize=13801768 CPUtime=9.73 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3853/stat : 3853 (java) R 3831 3831 14782 0 -1 4202560 460 0 0 0 973 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749609540840 139749804454623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3854] ppid=3831 vsize=13801768 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3854/stat : 3854 (java) R 3831 3831 14782 0 -1 4202560 303 0 0 0 992 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749608489048 139749804180720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3855] ppid=3831 vsize=13801768 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3855/stat : 3855 (java) R 3831 3831 14782 0 -1 4202560 390 0 0 0 988 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749607435848 139749804785306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3856] ppid=3831 vsize=13801768 CPUtime=9.86 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3856/stat : 3856 (java) R 3831 3831 14782 0 -1 4202560 1027 0 0 0 983 3 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749606384136 139749804133850 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3857] ppid=3831 vsize=13801768 CPUtime=9.78 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3857/stat : 3857 (java) R 3831 3831 14782 0 -1 4202560 399 0 0 0 978 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749605330648 139749804454603 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3858] ppid=3831 vsize=13801768 CPUtime=9.94 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3858/stat : 3858 (java) R 3831 3831 14782 0 -1 4202560 368 0 0 0 994 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749604277992 139749804290477 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3859] ppid=3831 vsize=13801768 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3859/stat : 3859 (java) R 3831 3831 14782 0 -1 4202560 224 0 0 0 1003 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749603225968 139749804455362 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3860] ppid=3831 vsize=13801768 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3860/stat : 3860 (java) R 3831 3831 14782 0 -1 4202560 199 0 0 0 998 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749602173320 139749804457662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
Current children cumulated CPU time (s) 93.09
Current children cumulated vsize (KiB) 13811280
[startup+13.3143 s]
/proc/loadavg: 12.74 14.41 14.65 17/300 3860
/proc/meminfo: memFree=26903168/32770624 swapFree=5804/254096
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3938272 9740288 345 33554432000 4194304 5098028 140736524103744 140736524101848 140166739591804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9805824 140736524104846 140736524105056 140736524105056 140736524107755 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3832] ppid=3831 vsize=13801768 CPUtime=93.9 cores=1,3,5,7,9,11,13,15
/proc/3832/stat : 3832 (java) S 3831 3831 14782 0 -1 1077944320 47963 0 0 0 9239 151 0 0 20 0 28 0 3938272 14133010432 195941 33554432000 4194304 4196468 140724540955952 140724540938496 139750164786935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
/proc/3832/statm: 3450442 195941 3285 1 0 3437675 0
[pid=3832/tid=3833] ppid=3831 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3833/stat : 3833 (java) S 3831 3831 14782 0 -1 1077944384 8840 0 0 0 230 7 0 0 20 0 28 0 3938272 14133010432 195941 33554432000 4194304 4196468 140724540955952 139750169027712 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3835] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3835/stat : 3835 (java) S 3831 3831 14782 0 -1 1077944384 191 0 0 0 19 16 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139750117407888 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3836] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3836/stat : 3836 (java) S 3831 3831 14782 0 -1 1077944384 222 0 0 0 18 17 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749762726928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3837] ppid=3831 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3837/stat : 3837 (java) S 3831 3831 14782 0 -1 1077944384 1275 0 0 0 19 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749761674128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3838] ppid=3831 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3838/stat : 3838 (java) S 3831 3831 14782 0 -1 1077944384 436 0 0 0 16 16 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749760621328 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3839] ppid=3831 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3839/stat : 3839 (java) S 3831 3831 14782 0 -1 1077944384 458 0 0 0 17 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749759568528 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3840] ppid=3831 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3840/stat : 3840 (java) S 3831 3831 14782 0 -1 1077944384 337 0 0 0 19 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749758515728 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3841] ppid=3831 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3841/stat : 3841 (java) S 3831 3831 14782 0 -1 1077944384 397 0 0 0 16 15 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749757462928 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3842] ppid=3831 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3842/stat : 3842 (java) S 3831 3831 14782 0 -1 1077944384 203 0 0 0 18 17 0 0 20 0 28 0 3938273 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749756410128 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3843] ppid=3831 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3843/stat : 3843 (java) S 3831 3831 14782 0 -1 1077944384 1079 0 0 0 1 1 0 0 20 0 28 0 3938275 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749627030384 139750164798082 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3844] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3844/stat : 3844 (java) S 3831 3831 14782 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749625976416 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3845] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3845/stat : 3845 (java) S 3831 3831 14782 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3938276 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749624923520 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3846] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3846/stat : 3846 (java) S 3831 3831 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749623871824 139750164805531 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3847] ppid=3831 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3847/stat : 3847 (java) S 3831 3831 14782 0 -1 1077944384 9353 0 0 0 253 2 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749622819184 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3848] ppid=3831 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3848/stat : 3848 (java) S 3831 3831 14782 0 -1 1077944384 7968 0 0 0 269 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749621766384 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3849] ppid=3831 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3849/stat : 3849 (java) S 3831 3831 14782 0 -1 1077944384 7352 0 0 0 253 1 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749620713584 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3850] ppid=3831 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3850/stat : 3850 (java) S 3831 3831 14782 0 -1 1077944384 4405 0 0 0 92 1 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749619660784 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3851] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3851/stat : 3851 (java) S 3831 3831 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749618609248 139750164797141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3852] ppid=3831 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3852/stat : 3852 (java) S 3831 3831 14782 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 3938280 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749617556528 139750164798082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3853] ppid=3831 vsize=13801768 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3853/stat : 3853 (java) R 3831 3831 14782 0 -1 4202560 460 0 0 0 983 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749609540840 139749804180720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3854] ppid=3831 vsize=13801768 CPUtime=10.02 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3854/stat : 3854 (java) R 3831 3831 14782 0 -1 4202560 303 0 0 0 1002 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749608489048 139749804785572 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3855] ppid=3831 vsize=13801768 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3855/stat : 3855 (java) R 3831 3831 14782 0 -1 4202560 390 0 0 0 998 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749607435848 139749804180242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3856] ppid=3831 vsize=13801768 CPUtime=9.96 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3856/stat : 3856 (java) R 3831 3831 14782 0 -1 4202560 1030 0 0 0 993 3 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749606384136 139749804290631 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3857] ppid=3831 vsize=13801768 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3857/stat : 3857 (java) R 3831 3831 14782 0 -1 4202560 399 0 0 0 988 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749605330648 139749804290783 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3858] ppid=3831 vsize=13801768 CPUtime=10.04 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3858/stat : 3858 (java) R 3831 3831 14782 0 -1 4202560 368 0 0 0 1004 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749604277992 139749804454279 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3859] ppid=3831 vsize=13801768 CPUtime=10.13 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3859/stat : 3859 (java) R 3831 3831 14782 0 -1 4202560 224 0 0 0 1013 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749603225968 139749804180529 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
[pid=3832/tid=3860] ppid=3831 vsize=13801768 CPUtime=10.08 cores=1,3,5,7,9,11,13,15
/proc/3832/task/3860/stat : 3860 (java) R 3831 3831 14782 0 -1 4202560 199 0 0 0 1008 0 0 0 20 0 28 0 3938536 14133010432 195941 33554432000 4194304 4196468 140724540955952 139749602173320 139749804290335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140724540957884 140724540958060 140724540958060 140724540960719 0
Current children cumulated CPU time (s) 93.9
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 13.3809
CPU time (s): 94.2659
CPU user time (s): 92.741
CPU system time (s): 1.52493
CPU usage (%): 704.482
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.741
system time used= 1.52493
maximum resident set size= 783844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4651
involuntary context switches= 8224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.174781 second user time and 0.174781 second system time
The end