runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14941 MiB free)
memory of node 1: 16384 MiB (14994 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283300-1503201090/watcher-4283300-1503201090 -o /tmp/evaluation-result-4283300-1503201090/solver-4283300-1503201090 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9102 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1757473146 HOME/instance-4283300-1503201090.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17415, runsolver pid=17412
[startup+0.10011 s]*
/proc/loadavg: 1.67 1.71 1.76 3/198 17418
/proc/meminfo: memFree=30650424/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13358712 memory=14368 CPUtime=0 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 3393 0 0 0 0 0 0 0 20 0 6 0 122301962 13679321088 3592 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3339678 3592 1903 1 0 3329175 0
[pid=17417/tid=17418] ppid=17415 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 2181 0 0 0 0 0 0 0 20 0 6 0 122301962 13679321088 3658 18446744073709551615 4194304 4196468 140726267027344 140180901880400 140180881724766 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122301963 13679321088 3658 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13358712 memory=140477157914240 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122301963 13679321088 3658 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122301963 13679321088 3658 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122301963 13679321088 3658 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB
[startup+0.21005 s]*
/proc/loadavg: 1.67 1.71 1.76 3/211 17431
/proc/meminfo: memFree=30643040/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13974352 memory=27396 CPUtime=0.08 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 5268 0 0 0 7 1 0 0 20 0 15 0 122301962 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3493588 6849 2730 1 0 3482964 0
[pid=17417/tid=17418] ppid=17415 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 3421 0 0 0 6 1 0 0 20 0 15 0 122301962 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180901869968 140180897666205 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13974352 memory=140477158462625 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13974352 memory=140477157914240 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301964 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122301965 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180375172256 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122301965 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180374119152 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 122301967 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13974352 memory=140477157914240 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) R 17415 17415 28892 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 15 0 122301967 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897656214 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13974352 memory=140477157914240 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301973 14309736448 6849 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28776 KiB
[startup+0.310347 s]*
/proc/loadavg: 1.67 1.71 1.76 3/211 17431
/proc/meminfo: memFree=30627740/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13974352 memory=37016 CPUtime=0.26 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 8864 0 0 0 23 3 0 0 20 0 15 0 122301962 14309736448 9254 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3493588 9254 2977 1 0 3482964 0
[pid=17417/tid=17418] ppid=17415 vsize=13974352 memory=-7677926825137650786 CPUtime=0.16 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 6094 0 0 0 14 2 0 0 20 0 15 0 122301962 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180901879264 140180897665626 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301964 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122301965 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180375172256 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122301965 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180374119152 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 15 0 122301967 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 122301967 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13974352 memory=140477157914240 CPUtime=0.05 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) R 17415 17415 28892 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 122301967 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897656214 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13974352 memory=140477157914240 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301973 14309736448 9319 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38396 KiB
[startup+0.700783 s]
/proc/loadavg: 1.67 1.71 1.76 5/211 17431
/proc/meminfo: memFree=30616564/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13980732 memory=67104 CPUtime=1.1 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 13463 0 0 0 104 6 0 0 20 0 15 0 122301962 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3495183 16776 3172 1 0 3483476 0
[pid=17417/tid=17418] ppid=17415 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 8751 0 0 0 50 4 0 0 20 0 15 0 122301962 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180901882992 140180881724766 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13980732 memory=1557 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13980732 memory=111 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13980732 memory=209 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13980732 memory=402 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122301964 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13980732 memory=7 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180375172256 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13980732 memory=140477038974640 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180374119152 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13980732 memory=4580 CPUtime=0.13 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) R 17415 17415 28892 0 -1 1077944384 1337 0 0 0 13 0 0 0 20 0 15 0 122301967 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 621 0 0 0 12 0 0 0 20 0 15 0 122301967 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13980732 memory=662364497384251440 CPUtime=0.28 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) R 17415 17415 28892 0 -1 4202560 1445 0 0 0 28 0 0 0 20 0 15 0 122301967 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180890741115 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13980732 memory=11210019468133 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301973 14316269568 16776 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68484 KiB
[startup+1.50151 s]
/proc/loadavg: 1.67 1.71 1.76 5/211 17431
/proc/meminfo: memFree=30584172/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13980732 memory=102600 CPUtime=3.2 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 21026 0 0 0 312 8 0 0 20 0 15 0 122301962 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3495183 25650 3198 1 0 3483476 0
[pid=17417/tid=17418] ppid=17415 vsize=13980732 memory=79149200837364 CPUtime=1.21 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 9687 0 0 0 116 5 0 0 20 0 15 0 122301962 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180901881624 140180505996450 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122301963 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122301964 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 25650 18446744073709551615 4194304 4196468 140726267027344 140180375172256 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180374119168 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13980732 memory=1296 CPUtime=4.62 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 26527 0 0 0 459 3 0 0 20 0 15 0 122301967 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13980732 memory=1380 CPUtime=4.51 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 23648 0 0 0 449 2 0 0 20 0 15 0 122301967 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13980732 memory=515808 CPUtime=0.83 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) S 17415 17415 28892 0 -1 1077944384 10369 0 0 0 81 2 0 0 20 0 15 0 122301967 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13980732 memory=65568 CPUtime=1.09 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1511 0 0 0 53 56 0 0 20 0 15 0 122301973 14316269568 128952 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 2437.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 517188 KiB
[startup+2442.3 s]
/proc/loadavg: 1.80 1.71 1.60 3/211 17675
/proc/meminfo: memFree=24612112/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13980732 memory=487628 CPUtime=2498.88 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 219187 0 0 0 249578 310 0 0 20 0 15 0 122301962 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3495183 121907 3265 1 0 3483476 0
[pid=17417/tid=17418] ppid=17415 vsize=13980732 memory=487628 CPUtime=2424.17 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 52960 0 0 0 242401 16 0 0 20 0 15 0 122301962 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180901883760 140180506231790 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13980732 memory=496752 CPUtime=15.56 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 18878 0 0 0 1500 56 0 0 20 0 15 0 122301963 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13980732 memory=493752 CPUtime=15.57 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 17502 0 0 0 1500 57 0 0 20 0 15 0 122301963 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13980732 memory=493752 CPUtime=15.56 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 19124 0 0 0 1499 57 0 0 20 0 15 0 122301963 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13980732 memory=487628 CPUtime=15.52 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 17250 0 0 0 1497 55 0 0 20 0 15 0 122301963 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13980732 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 29994 0 0 0 115 18 0 0 20 0 15 0 122301964 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180375172320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180374119168 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13980732 memory=499832 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13980732 memory=7301577892231663696 CPUtime=4.62 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 26529 0 0 0 459 3 0 0 20 0 15 0 122301967 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13980732 memory=1380 CPUtime=4.51 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 23650 0 0 0 449 2 0 0 20 0 15 0 122301967 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13980732 memory=493752 CPUtime=0.83 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) S 17415 17415 28892 0 -1 1077944384 10371 0 0 0 81 2 0 0 20 0 15 0 122301967 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13980732 memory=490704 CPUtime=1.11 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1530 0 0 0 54 57 0 0 20 0 15 0 122301973 14316269568 121907 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 2498.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 489008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.11 s]
/proc/loadavg: 1.86 1.73 1.61 3/211 17675
/proc/meminfo: memFree=24626136/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13980732 memory=473776 CPUtime=2520 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 219250 0 0 0 251690 310 0 0 20 0 15 0 122301962 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3495183 118444 3265 1 0 3483476 0
[pid=17417/tid=17418] ppid=17415 vsize=13980732 memory=473776 CPUtime=2444.86 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 52970 0 0 0 244470 16 0 0 20 0 15 0 122301962 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180901883632 140180508358286 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13980732 memory=1380 CPUtime=15.66 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 18887 0 0 0 1510 56 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13980732 memory=473776 CPUtime=15.67 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 17515 0 0 0 1510 57 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13980732 memory=1380 CPUtime=15.66 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 19144 0 0 0 1509 57 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13980732 memory=113 CPUtime=15.62 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 17255 0 0 0 1507 55 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13980732 memory=2257 CPUtime=1.33 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 29998 0 0 0 115 18 0 0 20 0 15 0 122301964 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13980732 memory=477880 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180375172320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180374119168 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13980732 memory=65568 CPUtime=4.62 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 26529 0 0 0 459 3 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13980732 memory=473776 CPUtime=4.51 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 23650 0 0 0 449 2 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13980732 memory=4028 CPUtime=0.83 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) S 17415 17415 28892 0 -1 1077944384 10371 0 0 0 81 2 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13980732 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1532 0 0 0 55 58 0 0 20 0 15 0 122301973 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 475156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.12 s]
# the end of solver process 17415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001851 s, system=0 s
[startup+2463.12 s]
# the end of solver process 17417 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.92 s, system=3.114 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.11 s]
/proc/loadavg: 1.86 1.73 1.61 3/211 17675
/proc/meminfo: memFree=24626136/32770624 swapFree=67108860/67108860
[pid=17415] ppid=17412 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17415/stat : 17415 (xcsp3-exec) S 17412 17415 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122301953 9740288 345 18446744073709551615 4194304 5098028 140736911902960 140736911901064 140152169300604 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 30220288 140736911905144 140736911905349 140736911905349 140736911908843 0
/proc/17415/statm: 2378 345 289 221 0 87 0
[pid=17417] ppid=17415 vsize=13980732 memory=473776 CPUtime=2520 cores=0,2,4,6
/proc/17417/stat : 17417 (java) S 17415 17415 28892 0 -1 1077944320 219250 0 0 0 251690 310 0 0 20 0 15 0 122301962 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140726267009888 140180897644279 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
/proc/17417/statm: 3495183 118444 3265 1 0 3483476 0
[pid=17417/tid=17418] ppid=17415 vsize=13980732 memory=473776 CPUtime=2444.86 cores=0,2,4,6
/proc/17417/task/17418/stat : 17418 (java) R 17415 17415 28892 0 -1 4202560 52970 0 0 0 244470 16 0 0 20 0 15 0 122301962 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180901883632 140180508358286 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17419] ppid=17415 vsize=13980732 memory=1380 CPUtime=15.66 cores=0,2,4,6
/proc/17417/task/17419/stat : 17419 (java) S 17415 17415 28892 0 -1 1077944384 18887 0 0 0 1510 56 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180832078864 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17420] ppid=17415 vsize=13980732 memory=473776 CPUtime=15.67 cores=0,2,4,6
/proc/17417/task/17420/stat : 17420 (java) S 17415 17415 28892 0 -1 1077944384 17515 0 0 0 1510 57 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180831026320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17421] ppid=17415 vsize=13980732 memory=1380 CPUtime=15.66 cores=0,2,4,6
/proc/17417/task/17421/stat : 17421 (java) S 17415 17415 28892 0 -1 1077944384 19144 0 0 0 1509 57 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180829973264 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17422] ppid=17415 vsize=13980732 memory=113 CPUtime=15.62 cores=0,2,4,6
/proc/17417/task/17422/stat : 17422 (java) S 17415 17415 28892 0 -1 1077944384 17255 0 0 0 1507 55 0 0 20 0 15 0 122301963 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180828920720 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17423] ppid=17415 vsize=13980732 memory=2257 CPUtime=1.33 cores=0,2,4,6
/proc/17417/task/17423/stat : 17423 (java) S 17415 17415 28892 0 -1 1077944384 29998 0 0 0 115 18 0 0 20 0 15 0 122301964 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180376226032 140180897655426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17424] ppid=17415 vsize=13980732 memory=477880 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17424/stat : 17424 (java) S 17415 17415 28892 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180375172320 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17425] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17425/stat : 17425 (java) S 17415 17415 28892 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 122301965 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180374119168 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17426] ppid=17415 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17426/stat : 17426 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180373067728 140180897662875 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17427] ppid=17415 vsize=13980732 memory=65568 CPUtime=4.62 cores=0,2,4,6
/proc/17417/task/17427/stat : 17427 (java) S 17415 17415 28892 0 -1 1077944384 26529 0 0 0 459 3 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180372015856 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17428] ppid=17415 vsize=13980732 memory=473776 CPUtime=4.51 cores=0,2,4,6
/proc/17417/task/17428/stat : 17428 (java) S 17415 17415 28892 0 -1 1077944384 23650 0 0 0 449 2 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180370963312 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17429] ppid=17415 vsize=13980732 memory=4028 CPUtime=0.83 cores=0,2,4,6
/proc/17417/task/17429/stat : 17429 (java) S 17415 17415 28892 0 -1 1077944384 10371 0 0 0 81 2 0 0 20 0 15 0 122301967 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180369910256 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17430] ppid=17415 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17417/task/17430/stat : 17430 (java) S 17415 17415 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122301968 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180368857952 140180897654485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
[pid=17417/tid=17431] ppid=17415 vsize=13980732 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/17417/task/17431/stat : 17431 (java) S 17415 17415 28892 0 -1 1077944384 1532 0 0 0 55 58 0 0 20 0 15 0 122301973 14316269568 118444 18446744073709551615 4194304 4196468 140726267027344 140180367804976 140180897655426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140726267031985 140726267032161 140726267032161 140726267035599 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 475156 KiB
Child status: 143
Real time (s): 2463.12
CPU time (s): 2520.03
CPU user time (s): 2516.92
CPU system time (s): 3.114
CPU usage (%): 102.31
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 756320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.92
system time used= 3.114
maximum resident set size= 763664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79566
involuntary context switches= 4907
# summary of solver processes directly reported to runsolver:
# pid: 17415,17417
# total CPU time (s): 2520.03
# total CPU user time (s): 2516.92
# total CPU system time (s): 3.114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1781 second user time and 21.9932 second system time
The end