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 (14905 MiB free)
memory of node 1: 16384 MiB (14955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272857-1502865988/watcher-4272857-1502865988 -o /tmp/evaluation-result-4272857-1502865988/solver-4272857-1502865988 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 727788676 HOME/instance-4272857-1502865988.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
solver pid=16200, runsolver pid=16197
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.42 1.60 1.67 3/205 16210
/proc/meminfo: memFree=30569060/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13574484 memory=18340 CPUtime=0.03 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 3935 0 0 0 3 0 0 0 20 0 9 0 88819406 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3393621 4585 2105 1 0 3383118 0
[pid=16202/tid=16203] ppid=16200 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 2641 0 0 0 3 0 0 0 20 0 9 0 88819407 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810897754480 139810854491045 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 88819407 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13574484 memory=288370065962423936 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 88819407 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 88819407 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 88819407 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13574484 memory=139689810712192 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 88819409 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 88819409 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810370970400 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 88819409 13900271616 4585 18446744073709551615 4194304 4196468 140729846991680 139810369918064 139810893526741 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19720 KiB
[startup+0.21158 s]*
/proc/loadavg: 1.42 1.60 1.67 3/211 16216
/proc/meminfo: memFree=30561868/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13974352 memory=28268 CPUtime=0.13 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 5451 0 0 0 12 1 0 0 20 0 15 0 88819406 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3493588 7067 2885 1 0 3482964 0
[pid=16202/tid=16203] ppid=16200 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 88819407 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810897751552 139810877597022 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13974352 memory=288370065962423936 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88819407 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13974352 memory=139689810712192 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88819409 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88819409 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810370970400 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88819409 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810369918064 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) S 16200 16200 897 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 88819412 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810366761456 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13974352 memory=139689810712192 CPUtime=0.02 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) S 16200 16200 897 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 88819412 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13974352 memory=139689810712192 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819416 14309736448 7067 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29648 KiB
[startup+0.310023 s]*
/proc/loadavg: 1.42 1.60 1.67 4/211 16216
/proc/meminfo: memFree=30549072/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13978608 memory=39852 CPUtime=0.32 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 9130 0 0 0 30 2 0 0 20 0 15 0 88819406 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3494652 9963 3041 1 0 3482964 0
[pid=16202/tid=16203] ppid=16200 vsize=13978608 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 6333 0 0 0 17 1 0 0 20 0 15 0 88819407 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810897737528 139810893528470 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88819407 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88819409 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88819409 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810370970400 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88819409 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810369918064 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) R 16200 16200 897 0 -1 4202560 674 0 0 0 3 0 0 0 20 0 15 0 88819412 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893528470 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) R 16200 16200 897 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 88819412 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810366761456 139810893527682 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) R 16200 16200 897 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 15 0 88819412 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819416 14314094592 9963 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41232 KiB
[startup+0.700781 s]
/proc/loadavg: 1.42 1.60 1.67 6/211 16216
/proc/meminfo: memFree=30528620/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13978684 memory=100444 CPUtime=1.41 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 13673 0 0 0 136 5 0 0 20 0 15 0 88819406 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3494671 25111 3160 1 0 3482964 0
[pid=16202/tid=16203] ppid=16200 vsize=13978684 memory=7666631141572832339 CPUtime=0.57 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 7813 0 0 0 54 3 0 0 20 0 15 0 88819407 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810897750224 139810533151901 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819407 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88819407 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88819409 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88819409 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810370970400 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88819409 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810369918064 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) R 16200 16200 897 0 -1 4202560 1659 0 0 0 27 0 0 0 20 0 15 0 88819412 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810367800136 139810878642914 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13978684 memory=2529 CPUtime=0.27 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) R 16200 16200 897 0 -1 4202560 1143 0 0 0 27 0 0 0 20 0 15 0 88819412 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810366752784 139810878626562 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13978684 memory=2000 CPUtime=0.26 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) R 16200 16200 897 0 -1 1077944384 1751 0 0 0 26 0 0 0 20 0 15 0 88819412 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13978684 memory=11016 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13978684 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88819416 14314172416 25111 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 101824 KiB
[startup+1.50157 s]
/proc/loadavg: 1.42 1.60 1.67 5/211 16216
/proc/meminfo: memFree=30433864/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13980732 memory=204204 CPUtime=3.98 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 17336 0 0 0 390 8 0 0 20 0 15 0 88819406 14316269568 51051 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3495183 51051 3214 1 0 3483476 0
[pid=16202/tid=16203] ppid=16200 vsize=13980732 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 8773 0 0 0 130 4 0 0 20 0 15 0 88819407 14316269568 51051 18446744073709551615 4194304 4196468 140729846991680 139810897749944 139810531882801 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 88819407 14316269568 51051 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 88819407 14316269568 51051 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13980732 memory=147804 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 88819407 14316269568 51051 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13980732 memory=1200 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810370970464 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810369918080 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13980732 memory=3912844 CPUtime=5.03 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) S 16200 16200 897 0 -1 1077944384 38826 0 0 0 497 6 0 0 20 0 15 0 88819412 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13980732 memory=279379301325280 CPUtime=4.4 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) S 16200 16200 897 0 -1 1077944384 30651 0 0 0 437 3 0 0 20 0 15 0 88819412 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810366761456 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13980732 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) S 16200 16200 897 0 -1 1077944384 19645 0 0 0 100 3 0 0 20 0 15 0 88819412 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13980732 memory=1380 CPUtime=1.51 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 3977 0 0 0 74 77 0 0 20 0 15 0 88819416 14316269568 978211 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 2457.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3914224 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.05 2.02 3/212 16464
/proc/meminfo: memFree=23269800/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13980732 memory=3918464 CPUtime=2517.47 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 226579 0 0 0 251499 248 0 0 20 0 15 0 88819406 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3495183 979616 3266 1 0 3483476 0
[pid=16202/tid=16203] ppid=16200 vsize=13980732 memory=3918464 CPUtime=2501.37 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 95674 0 0 0 250073 64 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810897755336 139810534460719 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0.92 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 5444 0 0 0 69 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 5634 0 0 0 68 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 6335 0 0 0 69 22 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0.93 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 4047 0 0 0 70 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0.35 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 14270 0 0 0 14 21 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810370970464 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810369918080 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13980732 memory=1380 CPUtime=5.03 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) S 16200 16200 897 0 -1 1077944384 38832 0 0 0 497 6 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13980732 memory=0 CPUtime=4.41 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) S 16200 16200 897 0 -1 1077944384 30657 0 0 0 438 3 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810366761456 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13980732 memory=11016 CPUtime=1.04 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) S 16200 16200 897 0 -1 1077944384 20269 0 0 0 101 3 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13980732 memory=4116 CPUtime=1.54 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 4051 0 0 0 76 78 0 0 20 0 15 0 88819416 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 2517.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3919844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.9 s]
/proc/loadavg: 2.08 2.05 2.02 3/212 16464
/proc/meminfo: memFree=23270064/32770624 swapFree=67108860/67108860
[pid=16200] ppid=16197 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (xcsp3-exec) S 16197 16200 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88819400 9740288 345 18446744073709551615 4194304 5098028 140727817413328 140727817411432 139729121034876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 29720576 140727817417081 140727817417285 140727817417285 140727817420779 0
/proc/16200/statm: 2378 345 289 221 0 87 0
[pid=16202] ppid=16200 vsize=13980732 memory=3918464 CPUtime=2520.08 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16200 16200 897 0 -1 1077944320 226804 0 0 0 251760 248 0 0 20 0 15 0 88819406 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3495183 979616 3266 1 0 3483476 0
[pid=16202/tid=16203] ppid=16200 vsize=13980732 memory=3918464 CPUtime=2503.97 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16200 16200 897 0 -1 4202560 95711 0 0 0 250333 64 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810897755336 139810534460752 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0.92 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16200 16200 897 0 -1 1077944384 5444 0 0 0 69 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16200 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16200 16200 897 0 -1 1077944384 5634 0 0 0 68 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16200 16200 897 0 -1 1077944384 6335 0 0 0 69 22 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0.93 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16200 16200 897 0 -1 1077944384 4047 0 0 0 70 23 0 0 20 0 15 0 88819407 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16200 vsize=13980732 memory=1380 CPUtime=0.35 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) S 16200 16200 897 0 -1 1077944384 14270 0 0 0 14 21 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810372024432 139810893527682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16200 16200 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810370970464 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16200 vsize=13980732 memory=3912844 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16200 16200 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 88819409 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810369918080 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16200 vsize=13980732 memory=3918464 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810368866384 139810893535131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16200 vsize=13980732 memory=3918464 CPUtime=5.03 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) S 16200 16200 897 0 -1 1077944384 38832 0 0 0 497 6 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16200 vsize=13980732 memory=3918464 CPUtime=4.41 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) S 16200 16200 897 0 -1 1077944384 30657 0 0 0 438 3 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810366761456 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16200 vsize=13980732 memory=1380 CPUtime=1.04 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) S 16200 16200 897 0 -1 1077944384 20457 0 0 0 101 3 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810365709168 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16200 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16200 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16216] ppid=16200 vsize=13980732 memory=0 CPUtime=1.54 cores=0,2,4,6
/proc/16202/task/16216/stat : 16216 (java) S 16200 16200 897 0 -1 1077944384 4051 0 0 0 76 78 0 0 20 0 15 0 88819416 14316269568 979616 18446744073709551615 4194304 4196468 140729846991680 139810363603376 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3919844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.91 s]
# the end of solver process 16200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001834 s
[startup+2505.11 s]
# the end of solver process 16202 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.84 s, system=2.64972 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+2505.01 s]*
/proc/loadavg: 2.07 2.05 2.02 4/211 16467
/proc/meminfo: memFree=23270384/32770624 swapFree=67108860/67108860
[pid=16202] ppid=16197 vsize=14113860 memory=3918656 CPUtime=2520.31 cores=0,2,4,6
/proc/16202/stat : 16202 (java) S 16197 16200 897 0 -1 1077944320 227376 0 0 0 251774 257 0 0 20 0 15 0 88819406 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 140729846974224 139810893516535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
/proc/16202/statm: 3528465 979664 3268 1 0 3516758 0
[pid=16202/tid=16203] ppid=16197 vsize=14113860 memory=-8774313645642428999 CPUtime=2504.08 cores=0,2,4,6
/proc/16202/task/16203/stat : 16203 (java) R 16197 16200 897 0 -1 4202560 95711 0 0 0 250344 64 0 0 20 0 15 0 88819407 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810897755336 139810534460736 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16204] ppid=16197 vsize=14113860 memory=4872558044660077418 CPUtime=0.92 cores=0,2,4,6
/proc/16202/task/16204/stat : 16204 (java) S 16197 16200 897 0 -1 1077944384 5444 0 0 0 69 23 0 0 20 0 15 0 88819407 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810850483088 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16205] ppid=16197 vsize=14113860 memory=1152 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16205/stat : 16205 (java) S 16197 16200 897 0 -1 1077944384 5634 0 0 0 68 23 0 0 20 0 15 0 88819407 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810492836624 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16206] ppid=16197 vsize=14113860 memory=3236 CPUtime=0.91 cores=0,2,4,6
/proc/16202/task/16206/stat : 16206 (java) S 16197 16200 897 0 -1 1077944384 6335 0 0 0 69 22 0 0 20 0 15 0 88819407 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810491784336 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16207] ppid=16197 vsize=14113860 memory=1376 CPUtime=0.93 cores=0,2,4,6
/proc/16202/task/16207/stat : 16207 (java) S 16197 16200 897 0 -1 1077944384 4047 0 0 0 70 23 0 0 20 0 15 0 88819407 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810490731536 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16208] ppid=16197 vsize=14113860 memory=3776188 CPUtime=0.46 cores=0,2,4,6
/proc/16202/task/16208/stat : 16208 (java) R 16197 16200 897 0 -1 4202560 14280 0 0 0 16 30 0 0 20 0 15 0 88819409 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810372024568 139810886144743 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16209] ppid=16197 vsize=14113860 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16209/stat : 16209 (java) S 16197 16200 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88819409 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810370970464 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16210] ppid=16197 vsize=14113860 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16210/stat : 16210 (java) S 16197 16200 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 88819409 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810369918080 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16211] ppid=16197 vsize=14113860 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16211/stat : 16211 (java) S 16197 16200 897 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 88819412 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810368866032 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16212] ppid=16197 vsize=14113860 memory=960 CPUtime=5.03 cores=0,2,4,6
/proc/16202/task/16212/stat : 16212 (java) S 16197 16200 897 0 -1 1077944384 38832 0 0 0 497 6 0 0 20 0 15 0 88819412 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810367814256 139810893527682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16213] ppid=16197 vsize=14113860 memory=1240 CPUtime=4.41 cores=0,2,4,6
/proc/16202/task/16213/stat : 16213 (java) S 16197 16200 897 0 -1 1077944384 30657 0 0 0 438 3 0 0 20 0 15 0 88819412 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810366761216 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16214] ppid=16197 vsize=14113860 memory=2248 CPUtime=1.04 cores=0,2,4,6
/proc/16202/task/16214/stat : 16214 (java) S 16197 16200 897 0 -1 1077944384 20459 0 0 0 101 3 0 0 20 0 15 0 88819412 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810365705040 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16215] ppid=16197 vsize=14113860 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16215/stat : 16215 (java) S 16197 16200 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88819412 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810364656608 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
[pid=16202/tid=16466] ppid=16197 vsize=14113860 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16202/task/16466/stat : 16466 (java) S 16197 16200 897 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 89069890 14452592640 979664 18446744073709551615 4194304 4196468 140729846991680 139810355597296 139810893526741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32415744 140729846997425 140729846997601 140729846997601 140729847001039 0
Current cumulated CPU time of completed processes: 0.001834 s
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 14113860 KiB
Current children cumulated memory: 3918656 KiB
Child status: 143
Real time (s): 2505.11
CPU time (s): 2520.49
CPU user time (s): 2517.84
CPU system time (s): 2.64972
CPU usage (%): 100.614
Max. virtual memory (cumulated for all children) (KiB): 14113860
Max. memory (cumulated for all children) (KiB): 3990316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.64972
maximum resident set size= 3999544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58545
involuntary context switches= 835
# summary of solver processes directly reported to runsolver:
# pid: 16200,16202
# total CPU time (s): 2520.49
# total CPU user time (s): 2517.84
# total CPU system time (s): 2.64972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2236 second user time and 24.2603 second system time
The end