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 (12677 MiB free)
memory of node 1: 16384 MiB (11594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283011-1503209320/watcher-4283011-1503209320 -o /tmp/evaluation-result-4283011-1503209320/solver-4283011-1503209320 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2141758137 HOME/instance-4283011-1503209320.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17511, runsolver pid=17508
[startup+0.100348 s]*
/proc/loadavg: 0.00 0.02 0.45 5/218 17527
/proc/meminfo: memFree=24825276/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13978596 memory=28372 CPUtime=0.12 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 5459 0 0 0 11 1 0 0 20 0 15 0 154012863 14314082304 7093 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3494649 7093 2872 1 0 3482966 0
[pid=17513/tid=17514] ppid=17511 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 3466 0 0 0 9 0 0 0 20 0 15 0 154012863 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831932948976 139831535561377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13978596 memory=140097047148160 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012864 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13978596 memory=140097047148160 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012865 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154012866 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154012866 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14314082304 7093 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 154012868 14314082304 7158 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14314082304 7158 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13978596 memory=140097047148160 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) R 17511 17511 17435 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 154012868 14314082304 7158 33554432000 4194304 4196468 140727781008144 139831036156400 139831920954174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14314082304 7158 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13978596 memory=140097047148160 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012869 14314082304 7158 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29756 KiB
[startup+0.210788 s]*
/proc/loadavg: 0.00 0.02 0.45 6/218 17527
/proc/meminfo: memFree=24808504/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13982852 memory=39904 CPUtime=0.33 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 8162 0 0 0 31 2 0 0 20 0 15 0 154012863 14318440448 9976 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3495713 9976 3057 1 0 3482966 0
[pid=17513/tid=17514] ppid=17511 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 5397 0 0 0 19 1 0 0 20 0 15 0 154012863 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831932926784 139831912797534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13982852 memory=13650 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13982852 memory=140097047923089 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13982852 memory=140097047148160 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012865 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154012866 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154012866 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 575 0 0 0 1 0 0 0 20 0 15 0 154012868 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831038262096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) R 17511 17511 17435 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 15 0 154012868 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13982852 memory=140097047148160 CPUtime=0.08 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) R 17511 17511 17435 0 -1 4202560 711 0 0 0 8 0 0 0 20 0 15 0 154012868 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012869 14318440448 9976 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41288 KiB
[startup+0.310718 s]*
/proc/loadavg: 0.00 0.02 0.45 6/218 17527
/proc/meminfo: memFree=24796004/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13982852 memory=47004 CPUtime=0.52 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 8995 0 0 0 49 3 0 0 20 0 15 0 154012863 14318440448 11751 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3495713 11751 3106 1 0 3482966 0
[pid=17513/tid=17514] ppid=17511 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 5927 0 0 0 28 1 0 0 20 0 15 0 154012863 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831932955840 139831928738973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012864 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012865 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154012866 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154012866 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13982852 memory=4713750055892520310 CPUtime=0.02 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) R 17511 17511 17435 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 15 0 154012868 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) R 17511 17511 17435 0 -1 4202560 325 0 0 0 4 0 0 0 20 0 15 0 154012868 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831037202480 139831909417344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) R 17511 17511 17435 0 -1 4202560 851 0 0 0 13 0 0 0 20 0 15 0 154012868 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831036155584 139831907735668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012869 14318440448 11751 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48388 KiB
[startup+0.700808 s]
/proc/loadavg: 0.00 0.02 0.45 7/218 17527
/proc/meminfo: memFree=24742116/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13984976 memory=93228 CPUtime=1.5 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 12347 0 0 0 145 5 0 0 20 0 15 0 154012863 14320615424 23307 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3496244 23307 3198 1 0 3483478 0
[pid=17513/tid=17514] ppid=17511 vsize=13984976 memory=1728 CPUtime=0.57 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) D 17511 17511 17435 0 -1 1077944384 6528 0 0 0 54 3 0 0 20 0 15 0 154012863 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831932932480 139831921396269 0 4 0 16800975 18446744072101662244 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154012864 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012864 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154012865 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13984976 memory=1204 CPUtime=0.3 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 1503 0 0 0 30 0 0 0 20 0 15 0 154012868 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13984976 memory=1728 CPUtime=0.28 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 1146 0 0 0 28 0 0 0 20 0 15 0 154012868 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13984976 memory=1440 CPUtime=0.31 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) S 17511 17511 17435 0 -1 1077944384 1861 0 0 0 31 0 0 0 20 0 15 0 154012868 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 23307 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94612 KiB
[startup+1.50082 s]
/proc/loadavg: 0.00 0.02 0.45 7/218 17527
/proc/meminfo: memFree=24651112/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13984976 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13984976 memory=0 CPUtime=3.35 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 17448 0 0 0 333 2 0 0 20 0 15 0 154012868 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13984976 memory=7156900871180479315 CPUtime=3.15 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 17394 0 0 0 313 2 0 0 20 0 15 0 154012868 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.81 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) S 17511 17511 17435 0 -1 1077944384 8299 0 0 0 80 1 0 0 20 0 15 0 154012868 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13984976 memory=241764 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 440 0 0 0 1 2 0 0 20 0 15 0 154012869 14320615424 60441 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 109.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 243148 KiB
[startup+162.301 s]
/proc/loadavg: 1.86 0.83 0.69 3/217 17530
/proc/meminfo: memFree=24475560/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13984976 memory=241800 CPUtime=169.77 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 60824 0 0 0 16960 17 0 0 20 0 15 0 154012863 14320615424 60450 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3496244 60450 3277 1 0 3483478 0
[pid=17513/tid=17514] ppid=17511 vsize=13984976 memory=241800 CPUtime=162.15 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 12109 0 0 0 16210 5 0 0 20 0 15 0 154012863 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831932953912 139831544161908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13984976 memory=241800 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13984976 memory=241800 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 1088 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13984976 memory=792 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13984976 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 1015 0 0 0 0 0 0 0 20 0 15 0 154012865 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13984976 memory=241800 CPUtime=3.41 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 17922 0 0 0 339 2 0 0 20 0 15 0 154012868 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13984976 memory=1384 CPUtime=3.2 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 17906 0 0 0 318 2 0 0 20 0 15 0 154012868 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13984976 memory=241800 CPUtime=0.81 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) S 17511 17511 17435 0 -1 1077944384 8304 0 0 0 80 1 0 0 20 0 15 0 154012868 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13984976 memory=241800 CPUtime=0.05 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 458 0 0 0 2 3 0 0 20 0 15 0 154012869 14320615424 60450 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 169.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 243184 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.77 3/217 17532
/proc/meminfo: memFree=24467660/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13984976 memory=241948 CPUtime=230.03 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 64023 0 0 0 22985 18 0 0 20 0 15 0 154012863 14320615424 60487 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3496244 60487 3277 1 0 3483478 0
[pid=17513/tid=17514] ppid=17511 vsize=13984976 memory=241948 CPUtime=222.15 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 12381 0 0 0 22210 5 0 0 20 0 15 0 154012863 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831932952624 139831541040740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13984976 memory=241948 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 1088 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13984976 memory=182976 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 1040 0 0 0 0 0 0 0 20 0 15 0 154012865 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13984976 memory=241948 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13984976 memory=4096 CPUtime=3.59 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 19410 0 0 0 357 2 0 0 20 0 15 0 154012868 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13984976 memory=4096 CPUtime=3.24 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 18934 0 0 0 322 2 0 0 20 0 15 0 154012868 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13984976 memory=43220 CPUtime=0.82 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) S 17511 17511 17435 0 -1 1077944384 8655 0 0 0 81 1 0 0 20 0 15 0 154012868 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13984976 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 493 0 0 0 3 4 0 0 20 0 15 0 154012869 14320615424 60487 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 230.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 243332 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.11 0.80 2/200 17534
/proc/meminfo: memFree=24640204/32770624 swapFree=67108860/67108860
[pid=17511] ppid=17508 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17511/stat : 17511 (xcsp3-exec) S 17508 17511 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154012863 9740288 346 33554432000 4194304 5098028 140737131166064 140737131164168 140271475180156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21028864 140737131172980 140737131173184 140737131173184 140737131175915 0
/proc/17511/statm: 2378 346 289 221 0 87 0
[pid=17513] ppid=17511 vsize=13984976 memory=242016 CPUtime=247.76 cores=1,3,5,7
/proc/17513/stat : 17513 (java) S 17511 17511 17435 0 -1 1077944320 64561 0 0 0 24758 18 0 0 20 0 15 0 154012863 14320615424 60504 33554432000 4194304 4196468 140727781008144 140727780990688 139831928717047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
/proc/17513/statm: 3496244 60504 3277 1 0 3483478 0
[pid=17513/tid=17514] ppid=17511 vsize=13984976 memory=2319529296101232865 CPUtime=239.86 cores=1,3,5,7
/proc/17513/task/17514/stat : 17514 (java) R 17511 17511 17435 0 -1 4202560 12570 0 0 0 23981 5 0 0 20 0 15 0 154012863 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831932954024 139831541040820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17515] ppid=17511 vsize=13984976 memory=3612086617335714048 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17515/stat : 17515 (java) S 17511 17511 17435 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831858805776 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17516] ppid=17511 vsize=13984976 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17516/stat : 17516 (java) S 17511 17511 17435 0 -1 1077944384 1088 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831857753232 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17517] ppid=17511 vsize=13984976 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17517/stat : 17517 (java) S 17511 17511 17435 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831856700176 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17518] ppid=17511 vsize=13984976 memory=1952 CPUtime=0.01 cores=1,3,5,7
/proc/17513/task/17518/stat : 17518 (java) S 17511 17511 17435 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 154012864 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831855647632 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17519] ppid=17511 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17519/stat : 17519 (java) S 17511 17511 17435 0 -1 1077944384 1040 0 0 0 0 0 0 0 20 0 15 0 154012865 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831042472176 139831928728194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17520] ppid=17511 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17520/stat : 17520 (java) S 17511 17511 17435 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831041418400 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17521] ppid=17511 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17521/stat : 17521 (java) S 17511 17511 17435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154012866 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831040365296 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17522] ppid=17511 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17522/stat : 17522 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012868 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831039313872 139831928735643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17523] ppid=17511 vsize=13984976 memory=1204 CPUtime=3.6 cores=1,3,5,7
/proc/17513/task/17523/stat : 17523 (java) S 17511 17511 17435 0 -1 1077944384 19441 0 0 0 358 2 0 0 20 0 15 0 154012868 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831038262000 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17524] ppid=17511 vsize=13984976 memory=6791534058613427641 CPUtime=3.25 cores=1,3,5,7
/proc/17513/task/17524/stat : 17524 (java) S 17511 17511 17435 0 -1 1077944384 19167 0 0 0 323 2 0 0 20 0 15 0 154012868 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831037209456 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17525] ppid=17511 vsize=13984976 memory=3108 CPUtime=0.82 cores=1,3,5,7
/proc/17513/task/17525/stat : 17525 (java) S 17511 17511 17435 0 -1 1077944384 8739 0 0 0 81 1 0 0 20 0 15 0 154012868 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831036156400 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17526] ppid=17511 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17513/task/17526/stat : 17526 (java) S 17511 17511 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154012869 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831035104096 139831928727253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
[pid=17513/tid=17527] ppid=17511 vsize=13984976 memory=185024 CPUtime=0.08 cores=1,3,5,7
/proc/17513/task/17527/stat : 17527 (java) S 17511 17511 17435 0 -1 1077944384 494 0 0 0 4 4 0 0 20 0 15 0 154012869 14320615424 60504 33554432000 4194304 4196468 140727781008144 139831034051120 139831928728194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 10809344 140727781016733 140727781016908 140727781016908 140727781019599 0
Current children cumulated CPU time: 247.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 243400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 17511 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001853 s, system=0 s
[startup+240.025 s]
# the end of solver process 17513 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.606 s, system=0.193088 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
Child status: 143
Real time (s): 240.025
CPU time (s): 247.799
CPU user time (s): 247.606
CPU system time (s): 0.193088
CPU usage (%): 103.239
Max. virtual memory (cumulated for all children) (KiB): 13996224
Max. memory (cumulated for all children) (KiB): 243400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.606
system time used= 0.193088
maximum resident set size= 242572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8095
involuntary context switches= 134
# summary of solver processes directly reported to runsolver:
# pid: 17511,17513
# total CPU time (s): 247.799
# total CPU user time (s): 247.606
# total CPU system time (s): 0.193088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58191 second user time and 2.14722 second system time
The end