runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253955-1501615787/watcher-4253955-1501615787 -o /tmp/evaluation-result-4253955-1501615787/solver-4253955-1501615787 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1245939840 HOME/instance-4253955-1501615787.xml
pid=8867
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.43 1.76 1.89 2/200 8870
/proc/meminfo: memFree=31780388/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (runsolver) D 8867 8870 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9394050 24240128 107 18446744073709551615 4194304 4338465 140726037820192 140726037817832 140114468934359 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 34660352 140726037823581 140726037824070 140726037824070 140726037827530 0
/proc/8870/statm: 5918 107 54 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.43 1.76 1.89 2/200 8870
/proc/meminfo: memFree=31780388/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200279 s]
/proc/loadavg: 1.43 1.76 1.89 2/200 8870
/proc/meminfo: memFree=31780388/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300301 s]
/proc/loadavg: 1.43 1.76 1.89 2/200 8870
/proc/meminfo: memFree=31780388/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700907 s]
/proc/loadavg: 1.43 1.76 1.89 2/200 8870
/proc/meminfo: memFree=31780388/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.43 1.76 1.89 3/216 8886
/proc/meminfo: memFree=31693028/32770624 swapFree=0/183592
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 17472 0 0 0 283 7 0 0 20 0 15 0 9394056 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 29905 3173 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 8882 0 0 0 135 4 0 0 20 0 15 0 9394056 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140251188183336 140250829188115 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 2436 0 0 0 57 0 0 0 20 0 15 0 9394061 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 2389 0 0 0 52 0 0 0 20 0 15 0 9394061 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 2448 0 0 0 38 1 0 0 20 0 15 0 9394061 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9394065 14316269568 29905 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.43 1.76 1.89 3/216 8886
/proc/meminfo: memFree=31608256/32770624 swapFree=0/183604
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=5.32 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 23931 0 0 0 523 9 0 0 20 0 15 0 9394056 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 48983 3201 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 9511 0 0 0 292 5 0 0 20 0 15 0 9394056 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140251188187120 140250829067883 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 4108 0 0 0 94 0 0 0 20 0 15 0 9394061 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 4661 0 0 0 89 0 0 0 20 0 15 0 9394061 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 3470 0 0 0 44 1 0 0 20 0 15 0 9394061 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9394065 14316269568 48983 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 13990244
[startup+6.30065 s]
/proc/loadavg: 1.47 1.77 1.89 3/216 8886
/proc/meminfo: memFree=31593704/32770624 swapFree=0/183616
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=8.65 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 24138 0 0 0 856 9 0 0 20 0 15 0 9394056 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 49003 3206 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 9523 0 0 0 612 5 0 0 20 0 15 0 9394056 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140251188184352 140251169891646 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 4148 0 0 0 101 0 0 0 20 0 15 0 9394061 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 4751 0 0 0 94 0 0 0 20 0 15 0 9394061 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 3481 0 0 0 45 1 0 0 20 0 15 0 9394061 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9394065 14316269568 49003 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.52 1.77 1.89 3/216 8886
/proc/meminfo: memFree=31575384/32770624 swapFree=0/183620
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=15.96 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 32513 0 0 0 1586 10 0 0 20 0 15 0 9394056 14316269568 54080 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 54080 3209 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=12.57 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 10128 0 0 0 1252 5 0 0 20 0 15 0 9394056 14316269568 54080 18446744073709551615 4194304 4196468 140722200736896 140251188183776 140250829068108 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 54080 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 9394057 14316269568 54080 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
################
# More data... #
################
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 11331 0 0 0 163 0 0 0 20 0 15 0 9394061 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 12029 0 0 0 158 1 0 0 20 0 15 0 9394061 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 5638 0 0 0 48 2 0 0 20 0 15 0 9394061 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 1335 0 0 0 0 1 0 0 20 0 15 0 9394065 14316269568 54238 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 106.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.74 1.75 1.86 3/215 8968
/proc/meminfo: memFree=31217528/32770624 swapFree=0/183768
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=166.11 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 52650 0 0 0 16596 15 0 0 20 0 15 0 9394056 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 53089 3218 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=162.13 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 13479 0 0 0 16207 6 0 0 20 0 15 0 9394056 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140251188187040 140250829067753 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 1033 0 0 0 2 1 0 0 20 0 15 0 9394057 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 1655 0 0 0 2 1 0 0 20 0 15 0 9394057 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 1929 0 0 0 2 0 0 0 20 0 15 0 9394057 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 9394057 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 1278 0 0 0 1 0 0 0 20 0 15 0 9394058 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 11841 0 0 0 164 0 0 0 20 0 15 0 9394061 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 12601 0 0 0 160 1 0 0 20 0 15 0 9394061 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 5787 0 0 0 48 2 0 0 20 0 15 0 9394061 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 1367 0 0 0 1 2 0 0 20 0 15 0 9394065 14316269568 53089 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 166.11
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.90 1.79 1.87 3/216 8971
/proc/meminfo: memFree=31230304/32770624 swapFree=0/183808
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=226.15 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 54017 0 0 0 22598 17 0 0 20 0 15 0 9394056 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 49756 3218 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=222.12 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 14034 0 0 0 22206 6 0 0 20 0 15 0 9394056 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140251188186960 140250829188436 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 1393 0 0 0 2 1 0 0 20 0 15 0 9394057 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 1690 0 0 0 3 1 0 0 20 0 15 0 9394057 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 1941 0 0 0 3 1 0 0 20 0 15 0 9394057 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 9394057 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 1508 0 0 0 2 0 0 0 20 0 15 0 9394058 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 11845 0 0 0 164 0 0 0 20 0 15 0 9394061 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 12608 0 0 0 160 1 0 0 20 0 15 0 9394061 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 5882 0 0 0 49 2 0 0 20 0 15 0 9394061 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 1386 0 0 0 1 2 0 0 20 0 15 0 9394065 14316269568 49756 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 226.15
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 1.81 1.87 3/216 8971
/proc/meminfo: memFree=31234832/32770624 swapFree=0/183824
[pid=8870] ppid=8867 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (xcsp3-exec) S 8867 8870 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9394050 9740288 345 18446744073709551615 4194304 5098028 140733889589504 140733889587608 140191922487932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16482304 140733889597851 140733889598055 140733889598055 140733889601515 0
/proc/8870/statm: 2378 345 289 221 0 87 0
[pid=8872] ppid=8870 vsize=13980732 CPUtime=243.85 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8870 8870 5228 0 -1 1077944320 54222 0 0 0 24368 17 0 0 20 0 15 0 9394056 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140722200719440 140251183947511 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
/proc/8872/statm: 3495183 48603 3218 1 0 3483484 0
[pid=8872/tid=8873] ppid=8870 vsize=13980732 CPUtime=239.82 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8870 8870 5228 0 -1 4202560 14043 0 0 0 23976 6 0 0 20 0 15 0 9394056 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140251188186488 140250829068394 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8874] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8870 8870 5228 0 -1 1077944384 1394 0 0 0 2 1 0 0 20 0 15 0 9394057 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140251151506576 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8875] ppid=8870 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8870 8870 5228 0 -1 1077944384 1690 0 0 0 3 1 0 0 20 0 15 0 9394057 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250783501328 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8876] ppid=8870 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8870 8870 5228 0 -1 1077944384 1941 0 0 0 3 1 0 0 20 0 15 0 9394057 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250782448528 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8877] ppid=8870 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8870 8870 5228 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 9394057 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250781395728 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8878] ppid=8870 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8870 8870 5228 0 -1 1077944384 1509 0 0 0 2 0 0 0 20 0 15 0 9394058 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250662517104 140251183958658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8879] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8870 8870 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9394058 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250661463072 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8880] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8870 8870 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9394059 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250660410224 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8881] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250659358544 140251183966107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8882] ppid=8870 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8870 8870 5228 0 -1 1077944384 11845 0 0 0 164 0 0 0 20 0 15 0 9394061 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250658306928 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8883] ppid=8870 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8870 8870 5228 0 -1 1077944384 12608 0 0 0 160 1 0 0 20 0 15 0 9394061 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250657254128 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8884] ppid=8870 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8870 8870 5228 0 -1 1077944384 6075 0 0 0 49 2 0 0 20 0 15 0 9394061 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250656201328 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8885] ppid=8870 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8870 8870 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9394061 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250655148768 140251183957717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
[pid=8872/tid=8886] ppid=8870 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8870 8870 5228 0 -1 1077944384 1386 0 0 0 2 3 0 0 20 0 15 0 9394065 14316269568 48603 18446744073709551615 4194304 4196468 140722200736896 140250654096048 140251183958658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17678336 140722200740308 140722200740483 140722200740483 140722200743887 0
Current children cumulated CPU time (s) 243.85
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8872 sig 9
??? kill 8870 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8870 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=626
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1253
# CPU time returned by wait4() is 0.001879
# while last known CPU time is 243.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.85
CPU user time (s): 243.68
CPU system time (s): 0.17
CPU usage (%): 101.6
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000626
system time used= 0.001253
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11393 second user time and 1.32007 second system time
The end