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-4255175-1501619652/watcher-4255175-1501619652 -o /tmp/evaluation-result-4255175-1501619652/solver-4255175-1501619652 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 715322715 HOME/instance-4255175-1501619652.xml
pid=26141
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.99 1.89 1.87 2/200 26144
/proc/meminfo: memFree=31589992/32770624 swapFree=0/213700
[pid=26144] ppid=26141 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (runsolver) D 26141 26144 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61618672 24240128 106 18446744073709551615 4194304 4338465 140734168517440 140734168515080 139909001192151 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37908480 140734168522844 140734168523333 140734168523333 140734168526794 0
/proc/26144/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.99 1.89 1.87 2/200 26144
/proc/meminfo: memFree=31589992/32770624 swapFree=0/213700
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200483 s]
/proc/loadavg: 1.99 1.89 1.87 2/200 26144
/proc/meminfo: memFree=31589992/32770624 swapFree=0/213700
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305016 s]
/proc/loadavg: 1.99 1.89 1.87 2/200 26144
/proc/meminfo: memFree=31589992/32770624 swapFree=0/213700
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707338 s]
/proc/loadavg: 1.99 1.89 1.87 2/200 26144
/proc/meminfo: memFree=31589992/32770624 swapFree=0/213700
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 1.99 1.89 1.87 5/216 26160
/proc/meminfo: memFree=31427648/32770624 swapFree=0/213680
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=3.88 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 23471 0 0 0 381 7 0 0 20 0 15 0 61618679 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 28088 3189 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 9618 0 0 0 132 3 0 0 20 0 15 0 61618680 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635621671992 139635245140608 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635161097328 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) R 26144 26144 18930 0 -1 4202560 4791 0 0 0 100 0 0 0 20 0 15 0 61618685 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635091033368 139635602317126 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) R 26144 26144 18930 0 -1 4202560 4075 0 0 0 101 1 0 0 20 0 15 0 61618685 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635089973960 139635602550559 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 3645 0 0 0 46 1 0 0 20 0 15 0 61618685 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61618689 14316269568 28088 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 13990244
[startup+3.10079 s]
/proc/loadavg: 2.15 1.93 1.88 5/216 26160
/proc/meminfo: memFree=31331816/32770624 swapFree=0/213688
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=8.76 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 31990 0 0 0 866 10 0 0 20 0 15 0 61618679 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 56631 3205 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 10095 0 0 0 290 5 0 0 20 0 15 0 61618680 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635621671608 139635246704987 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=2.6 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) R 26144 26144 18930 0 -1 4202560 8641 0 0 0 259 1 0 0 20 0 15 0 61618685 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635091041008 139635597284128 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=2.6 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) R 26144 26144 18930 0 -1 4202560 6717 0 0 0 259 1 0 0 20 0 15 0 61618685 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635089988208 139635602629221 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 4583 0 0 0 54 1 0 0 20 0 15 0 61618685 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 61618689 14316269568 56631 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 8.76
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 2.15 1.93 1.88 3/216 26160
/proc/meminfo: memFree=31025196/32770624 swapFree=0/213692
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=14.68 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 33424 0 0 0 1455 13 0 0 20 0 15 0 61618679 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 59305 3215 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 10116 0 0 0 608 5 0 0 20 0 15 0 61618680 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635621672416 139635246259387 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 15 0 61618681 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 61618681 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61618681 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) S 26144 26144 18930 0 -1 1077944384 9158 0 0 0 395 1 0 0 20 0 15 0 61618685 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635091040880 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) S 26144 26144 18930 0 -1 1077944384 7491 0 0 0 384 1 0 0 20 0 15 0 61618685 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635089988080 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) R 26144 26144 18930 0 -1 4202560 4665 0 0 0 61 2 0 0 20 0 15 0 61618685 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635596794356 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61618689 14316269568 59305 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 14.68
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.06 1.91 1.88 3/217 26167
/proc/meminfo: memFree=31018720/32770624 swapFree=0/213704
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=21.89 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 41154 0 0 0 2174 15 0 0 20 0 15 0 61618679 14316269568 57833 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 57833 3229 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=12.49 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 11163 0 0 0 1244 5 0 0 20 0 15 0 61618680 14316269568 57833 18446744073709551615 4194304 4196468 140733306611424 139635621674848 139635246704987 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 88 0 0 0 3 1 0 0 20 0 15 0 61618681 14316269568 57833 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 61618681 14316269568 57833 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
################
# More data... #
################
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 11003 0 0 0 69 2 0 0 20 0 15 0 61618685 14316269568 78888 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 78888 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 259 0 0 0 4 5 0 0 20 0 15 0 61618689 14316269568 78888 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 250.14
Current children cumulated vsize (KiB) 13990244
[startup+236.801 s]
/proc/loadavg: 1.30 1.71 1.81 3/217 26252
/proc/meminfo: memFree=31139084/32770624 swapFree=0/213892
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=251.79 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 85138 0 0 0 25099 80 0 0 20 0 15 0 61618679 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 78503 3247 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=234.62 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 18371 0 0 0 23456 6 0 0 20 0 15 0 61618680 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635621674768 139635249135344 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 2713 0 0 0 155 15 0 0 20 0 15 0 61618681 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 2832 0 0 0 156 14 0 0 20 0 15 0 61618681 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 3041 0 0 0 156 14 0 0 20 0 15 0 61618681 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 3770 0 0 0 156 14 0 0 20 0 15 0 61618681 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 6590 0 0 0 20 3 0 0 20 0 15 0 61618682 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) S 26144 26144 18930 0 -1 1077944384 17405 0 0 0 457 2 0 0 20 0 15 0 61618685 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635091040880 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=4.64 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) S 26144 26144 18930 0 -1 1077944384 17810 0 0 0 462 2 0 0 20 0 15 0 61618685 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635089988080 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 11003 0 0 0 69 2 0 0 20 0 15 0 61618685 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 259 0 0 0 4 5 0 0 20 0 15 0 61618689 14316269568 78503 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 251.79
Current children cumulated vsize (KiB) 13990244
[startup+237.601 s]
/proc/loadavg: 1.35 1.72 1.81 5/217 26252
/proc/meminfo: memFree=31109264/32770624 swapFree=0/213892
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=252.61 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 85148 0 0 0 25181 80 0 0 20 0 15 0 61618679 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 78375 3247 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=235.42 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 18372 0 0 0 23536 6 0 0 20 0 15 0 61618680 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635621674672 139635249355821 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 2713 0 0 0 156 15 0 0 20 0 15 0 61618681 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 2840 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 3042 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 3770 0 0 0 156 14 0 0 20 0 15 0 61618681 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 6590 0 0 0 20 3 0 0 20 0 15 0 61618682 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) S 26144 26144 18930 0 -1 1077944384 17405 0 0 0 457 2 0 0 20 0 15 0 61618685 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635091040880 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=4.64 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) S 26144 26144 18930 0 -1 1077944384 17810 0 0 0 462 2 0 0 20 0 15 0 61618685 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635089988080 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 11003 0 0 0 69 2 0 0 20 0 15 0 61618685 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 259 0 0 0 4 5 0 0 20 0 15 0 61618689 14316269568 78375 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 252.61
Current children cumulated vsize (KiB) 13990244
[startup+238.001 s]
/proc/loadavg: 1.35 1.72 1.81 5/217 26252
/proc/meminfo: memFree=31109264/32770624 swapFree=0/213892
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=253.02 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 85153 0 0 0 25222 80 0 0 20 0 15 0 61618679 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 77990 3247 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=235.81 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 18373 0 0 0 23575 6 0 0 20 0 15 0 61618680 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635621674944 139635246259804 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 2713 0 0 0 156 15 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 2844 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 3042 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 3770 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 6590 0 0 0 20 3 0 0 20 0 15 0 61618682 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) S 26144 26144 18930 0 -1 1077944384 17405 0 0 0 457 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635091040880 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=4.64 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) S 26144 26144 18930 0 -1 1077944384 17810 0 0 0 462 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635089988080 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 11003 0 0 0 69 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 259 0 0 0 4 5 0 0 20 0 15 0 61618689 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 253.02
Current children cumulated vsize (KiB) 13990244
[startup+238.101 s]
/proc/loadavg: 1.35 1.72 1.81 5/217 26252
/proc/meminfo: memFree=31109264/32770624 swapFree=0/213892
[pid=26144] ppid=26141 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (xcsp3-exec) S 26141 26144 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61618672 9740288 345 18446744073709551615 4194304 5098028 140737391520064 140737391518168 140599760519804 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 34201600 140737391526299 140737391526502 140737391526502 140737391529963 0
/proc/26144/statm: 2378 345 289 221 0 87 0
[pid=26146] ppid=26144 vsize=13980732 CPUtime=253.12 cores=1,3,5,7
/proc/26146/stat : 26146 (java) S 26144 26144 18930 0 -1 1077944320 85153 0 0 0 25232 80 0 0 20 0 15 0 61618679 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 140733306593968 139635617435383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
/proc/26146/statm: 3495183 77990 3247 1 0 3483484 0
[pid=26146/tid=26147] ppid=26144 vsize=13980732 CPUtime=235.91 cores=1,3,5,7
/proc/26146/task/26147/stat : 26147 (java) R 26144 26144 18930 0 -1 4202560 18373 0 0 0 23585 6 0 0 20 0 15 0 61618680 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635621674944 139635248982531 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26148] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26148/stat : 26148 (java) S 26144 26144 18930 0 -1 1077944384 2713 0 0 0 156 15 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635574401936 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26149] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26149/stat : 26149 (java) S 26144 26144 18930 0 -1 1077944384 2844 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635573349136 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26150] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26150/stat : 26150 (java) S 26144 26144 18930 0 -1 1077944384 3042 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635572296848 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26151] ppid=26144 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/26146/task/26151/stat : 26151 (java) S 26144 26144 18930 0 -1 1077944384 3770 0 0 0 157 14 0 0 20 0 15 0 61618681 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635571244048 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26152] ppid=26144 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/26146/task/26152/stat : 26152 (java) S 26144 26144 18930 0 -1 1077944384 6590 0 0 0 20 3 0 0 20 0 15 0 61618682 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635163203696 139635617446530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26153] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26153/stat : 26153 (java) S 26144 26144 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61618682 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635162149664 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26154] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26154/stat : 26154 (java) S 26144 26144 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61618683 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635161097344 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26155] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26155/stat : 26155 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635160045648 139635617453979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26156] ppid=26144 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/26146/task/26156/stat : 26156 (java) S 26144 26144 18930 0 -1 1077944384 17405 0 0 0 457 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635091040880 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26157] ppid=26144 vsize=13980732 CPUtime=4.64 cores=1,3,5,7
/proc/26146/task/26157/stat : 26157 (java) S 26144 26144 18930 0 -1 1077944384 17810 0 0 0 462 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635089988080 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26158] ppid=26144 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26146/task/26158/stat : 26158 (java) S 26144 26144 18930 0 -1 1077944384 11003 0 0 0 69 2 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635088935792 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26159] ppid=26144 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26146/task/26159/stat : 26159 (java) S 26144 26144 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61618685 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635087883232 139635617445589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
[pid=26146/tid=26160] ppid=26144 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/26146/task/26160/stat : 26160 (java) S 26144 26144 18930 0 -1 1077944384 259 0 0 0 4 5 0 0 20 0 15 0 61618689 14316269568 77990 18446744073709551615 4194304 4196468 140733306611424 139635086830000 139635617446530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140733306614227 140733306614402 140733306614402 140733306617807 0
Current children cumulated CPU time (s) 253.12
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 238.177
CPU time (s): 253.21
CPU user time (s): 252.399
CPU system time (s): 0.81073
CPU usage (%): 106.311
Max. virtual memory (cumulated for all children) (KiB): 13992424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.399
system time used= 0.81073
maximum resident set size= 551136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12118
involuntary context switches= 529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21163 second user time and 1.42782 second system time
The end