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-4254963-1501981927/watcher-4254963-1501981927 -o /tmp/evaluation-result-4254963-1501981927/solver-4254963-1501981927 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 178296738 HOME/instance-4254963-1501981927.xml
pid=2787
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.08 2.16 2.03 2/199 2790
/proc/meminfo: memFree=25706544/32770624 swapFree=0/283280
[pid=2790] ppid=2787 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (runsolver) D 2787 2790 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 46007956 24240128 106 18446744073709551615 4194304 4338465 140733956032336 140733956029976 139748345963223 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24666112 140733956034659 140733956035148 140733956035148 140733956038602 0
/proc/2790/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.08 2.16 2.03 2/199 2790
/proc/meminfo: memFree=25706544/32770624 swapFree=0/283280
[pid=2790] ppid=2787 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (runsolver) D 2787 2790 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 46007956 24240128 106 18446744073709551615 4194304 4338465 140733956032336 140733956029976 139748345963223 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24666112 140733956034659 140733956035148 140733956035148 140733956038602 0
/proc/2790/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200302 s]
/proc/loadavg: 2.08 2.16 2.03 2/199 2790
/proc/meminfo: memFree=25706544/32770624 swapFree=0/283280
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305128 s]
/proc/loadavg: 2.08 2.16 2.03 2/199 2790
/proc/meminfo: memFree=25706544/32770624 swapFree=0/283280
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702231 s]
/proc/loadavg: 2.08 2.16 2.03 2/199 2790
/proc/meminfo: memFree=25706544/32770624 swapFree=0/283280
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50527 s]
/proc/loadavg: 2.08 2.16 2.03 3/215 2807
/proc/meminfo: memFree=25597348/32770624 swapFree=0/283308
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 15877 0 0 0 255 8 0 0 20 0 15 0 46007968 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 44358 3195 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 8701 0 0 0 128 4 0 0 20 0 15 0 46007969 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701460309192 139701080978256 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139701000692768 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700999639920 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) R 2790 2790 30500 0 -1 4202560 1531 0 0 0 38 0 0 0 20 0 15 0 46007974 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700997536624 139701438479885 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) R 2790 2790 30500 0 -1 4202560 2450 0 0 0 40 1 0 0 20 0 15 0 46007974 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700996484120 139701434519739 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 1869 0 0 0 47 1 0 0 20 0 15 0 46007974 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 44358 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 2.08 2.16 2.03 2/215 2807
/proc/meminfo: memFree=25513236/32770624 swapFree=0/283308
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=5.63 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 24291 0 0 0 553 10 0 0 20 0 15 0 46007968 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 52516 3222 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 9272 0 0 0 274 5 0 0 20 0 15 0 46007969 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701460308224 139701081622238 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139701000692768 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700999639920 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) S 2790 2790 30500 0 -1 1077944384 4764 0 0 0 108 0 0 0 20 0 15 0 46007974 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700997536624 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=1.07 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) S 2790 2790 30500 0 -1 1077944384 4548 0 0 0 106 1 0 0 20 0 15 0 46007974 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700996483824 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 3136 0 0 0 60 1 0 0 20 0 15 0 46007974 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 52516 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13990244
[startup+6.30078 s]
/proc/loadavg: 2.15 2.17 2.04 3/215 2807
/proc/meminfo: memFree=25506048/32770624 swapFree=0/283308
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=11.35 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 29129 0 0 0 1123 12 0 0 20 0 15 0 46007968 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 55435 3229 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=5.99 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 9430 0 0 0 594 5 0 0 20 0 15 0 46007969 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701460311352 139701084117377 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139701000692768 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700999639920 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) S 2790 2790 30500 0 -1 1077944384 6084 0 0 0 222 1 0 0 20 0 15 0 46007974 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700997536624 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=2.33 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) S 2790 2790 30500 0 -1 1077944384 7749 0 0 0 232 1 0 0 20 0 15 0 46007974 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700996483824 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 3288 0 0 0 70 1 0 0 20 0 15 0 46007974 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 55435 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 11.35
Current children cumulated vsize (KiB) 13990244
[startup+12.7052 s]
/proc/loadavg: 2.22 2.19 2.05 3/214 2886
/proc/meminfo: memFree=31254436/32770624 swapFree=0/283364
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=20.68 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 46610 0 0 0 2053 15 0 0 20 0 15 0 46007968 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 57861 3241 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=12.39 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 10520 0 0 0 1234 5 0 0 20 0 15 0 46007969 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139701460308560 139701083575168 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
################
# More data... #
################
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 3913 0 0 0 75 2 0 0 20 0 15 0 46007974 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 57861 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 20.8
Current children cumulated vsize (KiB) 13990244
[startup+14.4072 s]
/proc/loadavg: 2.12 2.17 2.04 5/214 2886
/proc/meminfo: memFree=31148812/32770624 swapFree=0/283372
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=23.88 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 48928 0 0 0 2372 16 0 0 20 0 15 0 46007968 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 61334 3247 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=14.08 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 10988 0 0 0 1403 5 0 0 20 0 15 0 46007969 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701460308912 139701084117447 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 1311 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139701000692832 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700999639936 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=4.33 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) R 2790 2790 30500 0 -1 4202560 12352 0 0 0 431 2 0 0 20 0 15 0 46007974 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700997523136 139701440971888 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=4.52 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) R 2790 2790 30500 0 -1 4202560 17599 0 0 0 449 3 0 0 20 0 15 0 46007974 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700996471920 139701442136595 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 4053 0 0 0 81 2 0 0 20 0 15 0 46007974 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 61334 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 13990244
[startup+14.8007 s]
/proc/loadavg: 2.12 2.17 2.04 5/214 2886
/proc/meminfo: memFree=31148812/32770624 swapFree=0/283372
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=25.06 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 51524 0 0 0 2490 16 0 0 20 0 15 0 46007968 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 63845 3247 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=14.47 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 11006 0 0 0 1442 5 0 0 20 0 15 0 46007969 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701460308912 139701084117328 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 1311 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139701000692832 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700999639936 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=4.73 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) R 2790 2790 30500 0 -1 4202560 14761 0 0 0 470 3 0 0 20 0 15 0 46007974 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700997523136 139701440756499 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=4.91 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) R 2790 2790 30500 0 -1 4202560 17763 0 0 0 488 3 0 0 20 0 15 0 46007974 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700996469136 139701437616975 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 4058 0 0 0 82 2 0 0 20 0 15 0 46007974 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 63845 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 13990244
[startup+15.0007 s]
/proc/loadavg: 2.12 2.17 2.04 5/214 2886
/proc/meminfo: memFree=31148812/32770624 swapFree=0/283372
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=25.64 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 51548 0 0 0 2548 16 0 0 20 0 15 0 46007968 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 63894 3247 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=14.67 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 11009 0 0 0 1462 5 0 0 20 0 15 0 46007969 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701460308848 139701084668567 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 1311 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139701000692832 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700999639936 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=4.92 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) R 2790 2790 30500 0 -1 4202560 14768 0 0 0 489 3 0 0 20 0 15 0 46007974 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700997536624 139701441198685 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=5.1 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) R 2790 2790 30500 0 -1 4202560 17777 0 0 0 507 3 0 0 20 0 15 0 46007974 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700996483824 139701441196424 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 4058 0 0 0 82 2 0 0 20 0 15 0 46007974 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 63894 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 13990244
[startup+15.1008 s]
/proc/loadavg: 2.12 2.17 2.04 5/214 2886
/proc/meminfo: memFree=31148812/32770624 swapFree=0/283372
[pid=2790] ppid=2787 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 30500 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 46007956 9740288 345 18446744073709551615 4194304 5098028 140721110448032 140721110446136 140130713670268 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 9973760 140721110450594 140721110450797 140721110450797 140721110454251 0
/proc/2790/statm: 2378 345 289 221 0 87 0
[pid=2792] ppid=2790 vsize=13980732 CPUtime=25.89 cores=0,2,4,6
/proc/2792/stat : 2792 (java) S 2790 2790 30500 0 -1 1077944320 51569 0 0 0 2573 16 0 0 20 0 15 0 46007968 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 140736636345216 139701456072439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
/proc/2792/statm: 3495183 63914 3247 1 0 3483476 0
[pid=2792/tid=2793] ppid=2790 vsize=13980732 CPUtime=14.77 cores=0,2,4,6
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 30500 0 -1 4202560 11010 0 0 0 1472 5 0 0 20 0 15 0 46007969 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701460308848 139701086077947 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2794] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 30500 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701398019216 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2795] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 30500 0 -1 1077944384 1311 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701396966416 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2796] ppid=2790 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 30500 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 46007969 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701395913616 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2797] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 30500 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 46007969 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701053299472 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2798] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 30500 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701001746800 139701456083586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2799] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139701000692832 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2800] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46007971 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700999639936 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2801] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2801/stat : 2801 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700998588240 139701456091035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2802] ppid=2790 vsize=13980732 CPUtime=4.99 cores=0,2,4,6
/proc/2792/task/2802/stat : 2802 (java) S 2790 2790 30500 0 -1 1077944384 14773 0 0 0 496 3 0 0 20 0 15 0 46007974 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700997536624 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2803] ppid=2790 vsize=13980732 CPUtime=5.19 cores=0,2,4,6
/proc/2792/task/2803/stat : 2803 (java) S 2790 2790 30500 0 -1 1077944384 17792 0 0 0 516 3 0 0 20 0 15 0 46007974 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700996483824 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2804] ppid=2790 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/2792/task/2804/stat : 2804 (java) S 2790 2790 30500 0 -1 1077944384 4058 0 0 0 82 2 0 0 20 0 15 0 46007974 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700995431024 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2805] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2805/stat : 2805 (java) S 2790 2790 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46007974 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700994378464 139701456082645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
[pid=2792/tid=2806] ppid=2790 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/2792/task/2806/stat : 2806 (java) S 2790 2790 30500 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 46007978 14316269568 63914 18446744073709551615 4194304 4196468 140736636362672 139700993325744 139701456083586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140736636371418 140736636371593 140736636371593 140736636374991 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 15.1467
CPU time (s): 25.9507
CPU user time (s): 25.7737
CPU system time (s): 0.176969
CPU usage (%): 171.329
Max. virtual memory (cumulated for all children) (KiB): 13992676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.7737
system time used= 0.176969
maximum resident set size= 255972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3523
involuntary context switches= 158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064892 second user time and 0.101187 second system time
The end