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-4254181-1501613169/watcher-4254181-1501613169 -o /tmp/evaluation-result-4254181-1501613169/solver-4254181-1501613169 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 385253893 HOME/instance-4254181-1501613169.xml
pid=6302
running on 4 cores: 0,2,4,6
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: 2.06 1.80 1.33 3/197 6305
/proc/meminfo: memFree=31754752/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (runsolver) D 6302 6305 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9933858 24240128 107 18446744073709551615 4194304 4338465 140727726948736 140727726946376 140179544425175 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 20865024 140727726956638 140727726957126 140727726957126 140727726960586 0
/proc/6305/statm: 5918 107 54 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 2.06 1.80 1.33 3/197 6305
/proc/meminfo: memFree=31754752/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (runsolver) D 6302 6305 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9933858 24240128 107 18446744073709551615 4194304 4338465 140727726948736 140727726946376 140179544425175 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 20865024 140727726956638 140727726957126 140727726957126 140727726960586 0
/proc/6305/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200262 s]
/proc/loadavg: 2.06 1.80 1.33 3/197 6305
/proc/meminfo: memFree=31754752/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301991 s]
/proc/loadavg: 2.06 1.80 1.33 3/197 6305
/proc/meminfo: memFree=31754752/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700742 s]
/proc/loadavg: 2.06 1.80 1.33 3/197 6305
/proc/meminfo: memFree=31754752/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 2.06 1.80 1.33 5/213 6321
/proc/meminfo: memFree=31689924/32770624 swapFree=0/179916
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=3.62 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 24112 0 0 0 355 7 0 0 20 0 15 0 9933870 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 19908 3181 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 9132 0 0 0 128 4 0 0 20 0 15 0 9933870 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140205321627432 140204933277086 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) R 6305 6305 5123 0 -1 4202560 6539 0 0 0 97 1 0 0 20 0 15 0 9933875 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204791705280 140205298934644 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) R 6305 6305 5123 0 -1 4202560 5220 0 0 0 96 0 0 0 20 0 15 0 9933875 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204790646264 140205300886859 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 1905 0 0 0 32 0 0 0 20 0 15 0 9933875 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 19908 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 2.21 1.83 1.34 3/213 6321
/proc/meminfo: memFree=31682652/32770624 swapFree=0/179928
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=6.32 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 25515 0 0 0 625 7 0 0 20 0 15 0 9933870 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 21681 3189 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 9275 0 0 0 288 4 0 0 20 0 15 0 9933870 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140205321625984 140204932750490 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 6715 0 0 0 151 1 0 0 20 0 15 0 9933875 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 6032 0 0 0 148 0 0 0 20 0 15 0 9933875 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 2125 0 0 0 36 0 0 0 20 0 15 0 9933875 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 21681 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.21 1.83 1.34 3/213 6321
/proc/meminfo: memFree=31677728/32770624 swapFree=0/179928
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=9.87 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 29477 0 0 0 979 8 0 0 20 0 15 0 9933870 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 22967 3196 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 9800 0 0 0 607 4 0 0 20 0 15 0 9933870 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140205321626688 140204932749896 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 8525 0 0 0 163 1 0 0 20 0 15 0 9933875 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 6936 0 0 0 169 0 0 0 20 0 15 0 9933875 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 2335 0 0 0 38 0 0 0 20 0 15 0 9933875 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 22967 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.18 1.84 1.35 3/213 6321
/proc/meminfo: memFree=31644728/32770624 swapFree=0/179932
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=16.33 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 32493 0 0 0 1624 9 0 0 20 0 15 0 9933870 14316269568 31183 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 31183 3196 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 10375 0 0 0 1247 5 0 0 20 0 15 0 9933870 14316269568 31183 18446744073709551615 4194304 4196468 140736208537888 140205321626640 140204932750522 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 31183 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 31183 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
################
# More data... #
################
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 4514 0 0 0 41 0 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (KiB) 13990244
[startup+46.4007 s]
/proc/loadavg: 2.18 1.87 1.38 3/213 6321
/proc/meminfo: memFree=31570256/32770624 swapFree=0/179980
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=50.31 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 39937 0 0 0 5020 11 0 0 20 0 15 0 9933870 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 48697 3220 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=46.21 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 12175 0 0 0 4615 6 0 0 20 0 15 0 9933870 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140205321627400 140204933569518 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 708 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 10188 0 0 0 181 1 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 9286 0 0 0 179 1 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 4522 0 0 0 41 0 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 48697 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 13990244
[startup+47.2007 s]
/proc/loadavg: 2.18 1.87 1.38 3/213 6321
/proc/meminfo: memFree=31570256/32770624 swapFree=0/179980
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=51.11 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 40123 0 0 0 5100 11 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 48700 3220 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=47.01 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 12236 0 0 0 4695 6 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205321628984 140204933773866 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 708 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 10189 0 0 0 181 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 9287 0 0 0 179 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 4645 0 0 0 41 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 13990244
[startup+47.6007 s]
/proc/loadavg: 2.16 1.87 1.38 3/213 6321
/proc/meminfo: memFree=31570256/32770624 swapFree=0/179980
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=51.51 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 40125 0 0 0 5140 11 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 48700 3220 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=47.41 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 12238 0 0 0 4735 6 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205321628984 140204932966386 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 708 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 10189 0 0 0 181 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 9287 0 0 0 179 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 4645 0 0 0 41 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 51.51
Current children cumulated vsize (KiB) 13990244
[startup+48.0007 s]
/proc/loadavg: 2.16 1.87 1.38 3/213 6321
/proc/meminfo: memFree=31570256/32770624 swapFree=0/179980
[pid=6305] ppid=6302 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (xcsp3-exec) S 6302 6305 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9933858 9740288 345 18446744073709551615 4194304 5098028 140733716433280 140733716431384 140071647638140 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 36102144 140733716435356 140733716435559 140733716435559 140733716439019 0
/proc/6305/statm: 2378 345 289 221 0 87 0
[pid=6307] ppid=6305 vsize=13980732 CPUtime=51.91 cores=0,2,4,6
/proc/6307/stat : 6307 (java) S 6305 6305 5123 0 -1 1077944320 40127 0 0 0 5180 11 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140736208520432 140205317390071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
/proc/6307/statm: 3495183 48700 3220 1 0 3483484 0
[pid=6307/tid=6308] ppid=6305 vsize=13980732 CPUtime=47.81 cores=0,2,4,6
/proc/6307/task/6308/stat : 6308 (java) R 6305 6305 5123 0 -1 4202560 12240 0 0 0 4775 6 0 0 20 0 15 0 9933870 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205321628984 140204932749612 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6309] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6309/stat : 6309 (java) S 6305 6305 5123 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205251824400 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6310] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6310/stat : 6310 (java) S 6305 6305 5123 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205250771856 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6311] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6311/stat : 6311 (java) S 6305 6305 5123 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140205249719312 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6312] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6312/stat : 6312 (java) S 6305 6305 5123 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 9933871 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204914162832 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6313] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6313/stat : 6313 (java) S 6305 6305 5123 0 -1 1077944384 708 0 0 0 0 0 0 0 20 0 15 0 9933872 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204795922416 140205317401218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6314] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6314/stat : 6314 (java) S 6305 6305 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204794868640 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6315] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6315/stat : 6315 (java) S 6305 6305 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9933873 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204793816048 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6316] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6316/stat : 6316 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204792764624 140205317408667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6317] ppid=6305 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/6307/task/6317/stat : 6317 (java) S 6305 6305 5123 0 -1 1077944384 10189 0 0 0 181 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204791712240 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6318] ppid=6305 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/6307/task/6318/stat : 6318 (java) S 6305 6305 5123 0 -1 1077944384 9287 0 0 0 179 1 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204790659696 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6319] ppid=6305 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6307/task/6319/stat : 6319 (java) S 6305 6305 5123 0 -1 1077944384 4645 0 0 0 41 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204789607152 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6320] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6320/stat : 6320 (java) S 6305 6305 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9933875 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204788554848 140205317400277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
[pid=6307/tid=6321] ppid=6305 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6307/task/6321/stat : 6321 (java) S 6305 6305 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9933881 14316269568 48700 18446744073709551615 4194304 4196468 140736208537888 140204787501360 140205317401218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20291584 140736208540116 140736208540291 140736208540291 140736208543695 0
Current children cumulated CPU time (s) 51.91
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 48.0725
CPU time (s): 51.9993
CPU user time (s): 51.8761
CPU system time (s): 0.123236
CPU usage (%): 108.169
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.8761
system time used= 0.123236
maximum resident set size= 195156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41219
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= 3133
involuntary context switches= 82
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.285742 second user time and 0.206085 second system time
The end